Malte Schwerhoff has asked 33
questions and find answers to 76
problems.
Stats
1.7k EtPoint
444 Vote count
33 questions
76 answers
About
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.