Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Martin Vechev

Registered user since Thu 10 Jul 2014

Name: Martin Vechev

Bio: Martin Vechev is an Associate Professor at ETH Zurich. Prior to ETH, he was a researcher at the IBM T.J. Watson Research Center, USA. He obtained his PhD from Cambridge University, UK. His research work spans the intersection of machine learning and automated reasoning with applications to artificial intelligence, probabilistic and quantum programming, security and others. He is the recipient of various awards including the ACM SIGPLAN Robin Milner Award, ERC Starting Grant, SIGPLAN and CACM Research Highlights, several faculty awards (Facebook, Google), a John Atanasoff prize for outstanding young researchers awarded by the President of Bulgaria, and others. He is also a co-founder of two start-ups: ChainSecurity (acquired by PwC) and DeepCode.

Affiliation: ETH Zurich, Switzerland

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

Contributions

PLDI 2020Author of λPSI: Exact Inference for Higher-Order Probabilistic Programs within the PLDI Research Papers-track
Committee Member in External Program Committee within the PLDI Research Papers-track
Author of Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics within the PLDI Research Papers-track
Committee Member in Steering Committee
Author of Learning Fast and Precise Numerical Analysis within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2020-profile
View general profile