IMDEA Software

IMDEA initiative

Home > People

Yuri Meshman

PhD - Technion, Israel Institute of Technology

Post-doctoral Researcher

Yuri Meshman
IMDEA Software Institute

Office: 322
Telephone: +34 91-101-2202 ext 4273
Email: Yuri Meshman e-mail
Home Page:

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.