PhD - Technion, Israel Institute of Technology
The information in this page may be outdated, as Yuri Meshman is no longer a member of the Institute.
Former Post-doctoral Researcher
For a list of publications or further information please see my personal
Program verification, Program analysis, Program synthesis, Machine learning, Computability learning, Programming languages.