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
~2k
people reached
-
Switzerland
-
Member for 8 years
-
13 profile views
-
Last seen Mar 5 '19 at 17:31
Communities (9)
Top network posts
Badges (9)
Gold
—
Silver
3
Rarest
-
Dec 12 '18