Registered user since Thu 10 Jul 2014

Name: Martin Vechev

Affiliation: ETH Zürich

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

PPoPP 2018 Activities

• Committee Member in Extended Review Committee for PPoPP 2018
• Show activities from other conferences