Stack Overflow
Stack Overflow

Fábio Pakk Selmi-Dei
149
reputation
2
5
  • Zürich, Switzerland
  • Member since March 19 2015
  • 29 profile views
  • Last seen May 19 '22 at 16:06

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