Stack Overflow
Stack Overflow

Malte Schwerhoff
12,148
reputation
4
35
65
  • Switzerland
  • Member since October 29 2010
  • 1030 profile views
  • Last seen May 29 '21 at 19:16

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.