Roberto Bruttomesso
Senior Engineering Manager at Nozomi Networks
Mendrisio, Ticino, Italy
Summary
👤
Senior🎓
Top SchoolRoberto Bruttomesso is a Senior Engineering Manager with 11 years of experience blending formal methods research, industrial automation, and cybersecurity into production-grade software. He holds a PhD in Information Technology and has moved from academic work on SMT/SAT and model checking to leading engineering teams at Nozomi Networks, where he advanced SCADA security products, served as tech lead for Nozomi Arc and Arc Embedded, and co-authored two patents. His background spans avionics and automotive model-based engineering, EDA/SoC tooling, and PLC IDE development, giving him a rare combination of deep verification expertise and hands-on product delivery. Based in Mendrisio, Switzerland (Ticino), he is known for translating formal verification techniques into scalable, auditable solutions for critical infrastructure. A pragmatic leader and former researcher, he often bridges the gap between provable correctness and operational constraints in security-critical systems.
11 years of coding experience
12 years of employment as a software developer
University of MilanDoctor of Philosophy - PhD Information Technology, Doctor of Philosophy - PhD Information Technology at Università di Trento
English, Italian
Github Skills (4)
wireshark9
packet9
dpdk7
golang6
Programming languages (1)
Github contributions (5)
robertobruttomesso/robertobruttomesso.github.io
Jan 2017 - Oct 2022
Contributions:24 pushes, 1 branch in 5 years 9 months
NozomiNetworks/gopacket-fork-nozomi
Feb 2024 - Dec 2024
Contributions:6 reviews, 2 PRs, 3 pushes in 10 months
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.