Fábio Pakk Selmi-Dei has asked 0
questions and find answers to 2
problems.
Stats
42 EtPoint
12 Vote count
0 questions
2 answers
About
I'm a computer scientist working at ETH Zurich, in Switzerland. My research is on formal verification and my background is on static analysis for C/C++.