Fábio Pakk Selmi-Dei
159
reputation
2
5
Computer scientist specialized in the development of programming languages and tools such as compilers, static analyzers and formal verifiers. Expert in C++.