Yuri Meshman
The information in this page may be outdated, as Yuri Meshman is currently not a member of the Institute.
PhD - Israel Institute of TechnologyFormer Post-doctoral Researcher
Brief Introduction
For a list of publications or further information please see my personal webpage.
Research Interests
Program verification, Program analysis, Program synthesis, Machine learning, Computability learning, Programming languages.