Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Martin Vechev

Registered user since Thu 10 Jul 2014

Name: Martin Vechev

Bio: I am originally from Sofia, Bulgaria where I was born and grew up. I am an Assistant Professor of Computer Science at ETH Zurich where I lead the Software Reliability Lab. Prior to ETH, I was a Research Staff Member at the IBM T.J. Watson Research Center in New York. I obtained my PhD from Cambridge University, England and my B.Sc. from Simon Fraser University. Before Canada, I studied at the Sofia Math High School in Sofia, Bulgaria. I am interested in program analysis, program synthesis, application of machine learning to programming languages, and concurrency.

Country: Bulgaria

Affiliation: ETH Zurich

Personal website: http://www.srl.inf.ethz.ch/vechev.php

Research interests: Concurrency, Synthesis, Machine Learning, Static Analysis

Contributions

SPLASH 2016 Probabilistic Model for Code with Decision Trees
Modeling and Analysis of Remote Memory Access Programming
ERC member in External Program Committee within the OOPSLA-track
Show activities from other conferences

SPLASH 2016-profile
View general profile