Write a Blog >>
POPL 2018
Mon 8 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Martin Vechev
Martin Vechev

Registered user since Thu 10 Jul 2014

Name: Martin Vechev

Affiliation: ETH Zurich

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

POPL 2018 Activities

Using general profile