216
reputation
3
6

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 7 years, 5 months
  • 13 profile views
  • Last seen Mar 5 '19 at 17:31

Top tags (4)

Score 10
Posts 2
Posts % 100
Score 5
Posts 1
Score 5
Posts 1
Score 5
Posts 1

Top posts (2)

Badges (9)

Gold

Silver

3

Rarest

Bronze

6

Rarest