IMDEA Software

Iniciativa IMDEA

Inicio > Personal

Yuri Meshman

PhD - Technion, Instituto tecnológico de Israel

Post-doctoral Researcher

Yuri Meshman
Instituto IMDEA Software

Office: 322
Telephone: +34 91-101-2202 ext 4273
Email: Yuri Meshman e-mail
Página web: http://yurime.cswp.cs.technion.ac.il/

Brief Introduction

For a list of publications or further information please see my personal webpage.

Intereses de Investigación

Program verification, Program analysis, Program synthesis, Machine learning, Computability learning, Programming languages.