Roberto Bagnara
Software Verification And Functional Safety Expert
Parma, Emilia-Romagna, Italy
Summary
🤩
Rockstar🎓
Top SchoolRoberto Bagnara is a software verification and functional safety expert with over 30 years of experience as a practitioner, researcher, professor and entrepreneur, and more than two decades of formal industry leadership. As co-founder, CEO/CTO and now Chief Scientist at BUGSENG he translates cutting‑edge formal methods and abstract interpretation into industrial-strength verification tools, driven by a "no shortcuts" ethos. A full professor at the University of Parma and author of 40+ peer-reviewed papers, he teaches semantics, formal methods and the mathematical foundations of computer science while leading an applied formal methods lab. Roberto has influenced standards work as Italy’s representative to the ISO C working group and a MISRA‑C member, and his early embedded-systems work at CERN (in Tim Berners‑Lee’s group) underscores a long history of systems-level pragmatism. He also contributes to notable open-source projects such as SWI‑Prolog, applying platform-specific build and portability fixes that bridge research and real-world tooling. Known for relentless curiosity and endurance, he pairs rigorous academic depth with hands-on engineering and entrepreneurial drive.
24 years of coding experience
23 years of employment as a software developer
Scuola Elementare "F. Carchidio", FaenzaNongraduate engineer Telecommunications Engineering, Nongraduate engineer Telecommunications Engineering at ITIS CesenaDottorato (PhD) Informatica (Computer Science), Dottorato (PhD) Informatica (Computer Science) at Università di Pisa
English, French, Italian, Spanish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (8)
c1710
autoconf10
build-system10
prolog10
c1110
logic-programming10
mingw9
windows9
Programming languages (8)
Github contributions (5)
SWI-Prolog/swipl-devel
Jun 2011 - Sep 2015
SWI-Prolog Main development repository
Role in this project:
Back-end Developer
Back-end DeveloperContributions:66 commits, 12 pushes, 2 branches in 4 years 3 months
Contributions summary:Roberto contributed to the SWI-Prolog development repository, focusing on build system enhancements and platform-specific adaptations. Their commits involved modifying build scripts to correctly identify the C compiler, executable suffixes, and linker flags. Furthermore, the user made platform-specific adjustments, particularly for Windows/MinGW environments, including conditional compilation and handling of threads and libraries.
datalogprologlogic-programmingswiswi-prolog
UNIPR-Semantica/SemanticaUniPR
Dec 2014 - Jun 2016
Contributions:27 commits, 10 pushes, 7 comments in 1 year 6 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.