SPLASH 2011 (series) / Martin Vechev
![Martin Vechev](https://2011.splashcon.org/getProfileImage/martinvechev/528cc807-6bc2-4fa1-8a7b-1f7839d4a052/small.jpg?1711466810000)
Registered user since Thu 10 Jul 2014
Name:Martin Vechev
Affiliation:ETH Zurich, Switzerland
Personal website: http://www.srl.inf.ethz.ch/vechev.php
Contributions
SPLASH 2011-profile
View general profile
View general profile