I’m a software engineer at Google. I work on building and indexing the Knowledge Graph, the structured knowledge base used in Google Search and Google Assistant.

Previously, I completed my Ph.D. in computer science at UC Berkeley, working with Prof. Ras Bodik and Prof. Nir Yosef. For my dissertation work, I developed program synthesis methods and tools as applied to systems biology.

I have completed my B.Sc. and M.Sc. degrees at EPFL, where my advisor was Prof. Viktor Kuncak. For my M.Sc. thesis, I developed Kaplan, an extension of Scala that supports constraint programming.

In Summer 2016, I was an intern at Sift Science, and I worked on improving and accurately evaluating machine learning algorithms for fraud detection, as well as developing tools for efficiently summarizing customer data. In Summer 2013, I was a research intern at Microsoft Research, Cambridge, and I worked on developing algorithms for signaling pathway discovery from high-throughput data.


Synthesizing signaling pathways from temporal phosphoproteomic data
Ali Sinan Köksal, Kirsten Beck, Dylan R. Cronin, Aaron McKenna, Nathan D. Camp, Saurabh Srivastava, Matthew E. MacGilvray, Rastislav Bodík, Alejandro Wolf-Yadlin, Ernest Fraenkel, Jasmin Fisher, Anthony Gitter
Cell Reports, 2018

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data
Steven Woodhouse, Nir Piterman, Ali Sinan Köksal, Jasmin Fisher
27th International Conference on Computer Aided Verification (CAV), 2015

Synthesis of Biological Models from Mutation Experiments
Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2013
[slides] [code]

Constraints as Control
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2012

Satisfiability Modulo Recursive Programs.
Philippe Suter, Ali Sinan Köksal, Viktor Kuncak
18th International Static Analysis Symposium (SAS), 2011

Scala to the Power of Z3: Integrating SMT and Programming (System Description)
Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
23rd International Conference on Automated Deduction (CADE), 2011

Specifying and verifying sparse matrix codes
Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv
15th ACM SIGPLAN International Conference on Functional Programming (ICFP), 2010

© 2022 Ali Sinan Köksal | Source | Last updated on October 21, 2022.