Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of Fábio Pakk Selmi-Dei

Fábio Pakk Selmi-Dei

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++.

Fábio Pakk Selmi-Dei questions

Fábio Pakk Selmi-Dei answers