IMDEA Software

IMDEA initiative

Home > People

Yuri Meshman

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

Yuri Meshman
Home Page: http://yurime.cswp.cs.technion.ac.il/

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.