131
reputation
4
Malte Schwerhoff
Enjoying computer science and cheese. Working as a lecturer at ETH Zurich, my research area is automating deductive software verification. See my university web page for further information.
2
answers
0
questions
~491
people reached
-
Switzerland
-
Member for 8 years, 3 months
-
6 profile views
-
Last seen Aug 8 '17 at 12:30
