I am a PhD student under the supervision of Prof. Eran Yahav. My research interests are in the fields of Programming Languages and Program Synthesis, specifically interaction models that create more versatile program synthesis solutions for programmers. I’m also interested in the application of Machine Learning techniques to PL problems, and occasionally dabble in program analysis and formal verification.
My MSc is from Tel Aviv University, under the joint supervision of Prof. Mooly Sagiv and Prof. Eran Yahav.