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

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