Fábio Selmi-dei
Senior Software Engineer at Cocotec
England, United Kingdom
Summary
👤
Senior🎓
Top SchoolFábio Selmi-dei is a senior software engineer with eight years focused on compilers, static analysis and formal verification, specializing in LLVM-based toolchains and C++. He currently develops Coco, a formally verified programming language deployed at ASML, and previously built Viper and a Python-to-Viper translator at ETH Zürich to enable machine-checkable correctness proofs. His background spans safety-critical static analysis for automotive/aerospace (MISRA/JSF checks, SSA/CFG and SMT solvers) and early work applying reinforcement learning to real traffic data. Comfortable across languages and roles, he has implemented parsers, type checkers, code generation, interpreters and verification backends while also driving release engineering and CI. Colleagues rely on him to bridge research-grade formal methods and production compilers, and he brings the uncommon combination of hands-on systems engineering with deep formal-verification experience.
8 years of coding experience
16 years of employment as a software developer
Australian National UniversityMaster's Degree, Computer Science, Master's Degree, Computer Science at Universidade Estadual de Campinas
English, Portuguese, French, German
Stackoverflow
159reputation
70kreached
3answers
2questions
Github Skills (28)
programming-language10
tla10
viper10
verification10
condition10
intermediate10
symbolic-execution10
scala9
security9
smt9
documentation8
python8
http-server8
infrastructure8
migration8
Programming languages (5)
Github contributions (5)
viperproject/examples
Mar 2020 - Jun 2020
Contributions:50 pushes, 3 branches in 3 months
viperproject/silver
Dec 2017 - Dec 2020
Definition of the Viper intermediate verification language.
Contributions:1 review, 377 commits, 4 PRs in 3 years
viperverificationprogramming-languagedefinitionintermediate
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.