The information in this page may be outdated, as Yuri Meshman is currently not a member of the Institute.
For a list of publications or further information please see my personal webpage.
Program verification, Program analysis, Program synthesis, Machine learning, Computability learning, Programming languages.
