Home

I am a PhD student under the supervision of Prof. Eran Yahav .
My research interests are: Program verification, Program analysis, Program synthesis, Machine learning, Computability learning, Programming languages.
My teaching interests are: Program analysis, Programming languages, Software engineering, Formal Specification.