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