I am a compiler engineer at Jane Street.
Before that, I was a lecturer and a member of the Theory Group at the School of Electronic Engineering and Computer Science, Queen Mary University of London. Before that, I worked as a software engineer at ARM developing open source compilation tools.
Before that, I was a researcher in IBM T.J. Watson Research Center.
Before joining IBM, I studied Computer Science in Tel Aviv University.

Recent projects

• Static checking of "zero alloc" annotations for OCaml in flambda-backend.
• Tracing probes for OCaml: ocaml-probes.
• OCamlFDO, a tool for feedback-directed optimization of OCaml.

Research Interests

• Program analysis, verification, and synthesis
• Shape analysis
• Compilers
• Programming languages
• Parallel and concurrent programming
• Software engineering
• Abstract interpretation
• Theorem provers/decision procedures
• Transitive closure logics