I am a PhD student under the supervision of Prof. Eran Yahav. My research interests are in the field of Programming Languages, specifically in creating more versatile program synthesis solutions and in the application of Machine Learning techniques to PL problems. I’m also interested 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.