Registered user since Fri 13 Mar 2015
Name:Malte Schwerhoff
Country:Switzerland
Affiliation:ETH Zurich, Switzerland
Personal website: http://www.pm.inf.ethz.ch/people/schwerhoffm/
Research interests:Programming languages, software verification, static analysis
Contributions
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile