Yuri Meshman

La información de esta página podría estar desactualizada debido a que Yuri Meshman no es actualmente miembro del Instituto.

PhD - Instituto tecnológico de Israel
Antiguo Post-doctoral Researcher

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

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.