IMDEA Software

IMDEA initiative

Home > People > Yuri Meshman

Yuri Meshman

The information in this page may be outdated, as Yuri Meshman is currently not a member of the Institute.

Yuri Meshman
PhD - Israel Institute of Technology
Former 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.