Martin Vechev

Research Staff Member

Research lab: Watson Research Center (Hawthorne)

Education:

• Ph.D. University of Cambridge, 2007
• B.Sc. Simon Fraser University, 2001

Research Interests:

• Program synthesis & verification, Abstract Interpretation, Concurrency

News:

• PSY'2010, the second practical synthesis workshop will take place in FLOC'2010
• Paper on synthesis of synchronization under abstraction accepted to POPL'2010
• Consider submitting your (good) papers to ISMM'2010 !
• Check out PSY'2009: First workshop on practical synthesis !

Current Projects:

• Paraglide: Synthesis & Verification of Concurrent Systems
• QVM:The Quality Virtual Machine

Read more

Attached files: vechev.jpg

Last updated 26 Oct 2009