![Martin Vechev](https://popl22.sigplan.org/getProfileImage/martinvechev/d55fcf81-8220-4b27-9c5b-c9c0dc5c9c6b/small.jpg?1711466810000)
Registered user since Thu 10 Jul 2014
Name:Martin Vechev
Country:Switzerland
Affiliation:ETH Zurich
Personal website: http://www.srl.inf.ethz.ch/vechev.php
Contributions
POPL 2022-profile
View general profile
View general profile
Registered user since Thu 10 Jul 2014
Contributions