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

Top tags (6)

Score 2
Posts 1
Posts % 50
Score 2
Posts 1
Score 2
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (2)

Badges (4)

Gold

Silver

Bronze

4

Rarest