Yuri Meshman

Yuri Meshman is a former Post-doctoral Researcher at IMDEA. He holds a PhD from the Technion Israel Institute of Technology, where he was supervised by Prof. Eran Yahav. His research focuses on program verification, program analysis, program synthesis, machine learning, computability learning, and programming languages. His teaching interests include program analysis, programming languages, software engineering, and formal specification.

Education:

• PhD in Computer Science, Technion Israel Institute of Technology (Advisor: Prof. Eran Yahav)

Contact (Historical):

• Taub Building, Technion Israel Institute of Technology, Haifa 32000, Floor 7, Room 738
• Phone: (+972-77-887)-4806

Research Interests:

Meshman’s work emphasizes formal methods in software engineering, particularly in enhancing program reliability through automated verification and synthesis techniques. His exploration of machine learning intersects with computability theory, aiming to develop adaptive systems capable of self-optimization. His contributions bridge theoretical computer science with practical software development challenges.