Dr. Roberto Bagnara

Chief Technology Officer
BUGSENG

Dr. Roberto Bagnara

Chief Technology Officer
BUGSENG
linkedin-icon
+39 3398593517
roberto.bagnara@bugseng.com

Biography

Roberto Bagnara is CTO and Chief Scientist at BUGSENG and professor of Computer Science at the University of Parma. Roberto leads the team who designed and architected the ECLAIR software verification platform. He coauthored more than 40 papers, in international journals and conference proceedings, on programming languages, static analysis and other techniques for software verification. He started working on embedded systems’ software in 1984, first at the University of Bologna (medical devices) and then at CERN (particle physics apparata) where he worked with Tim Berners Lee. He is a member of the MISRA C Working Group and of the ISO JTC1/SC22/WG14 international standardization.

All sessions by Dr. Roberto Bagnara

MISRA COMPLIANCE AND LEGACY/THIRD PARTY CODE

03 Nov 2020
11:00 - 12:00
Technical Presentation

MISRA COMPLIANCE FOR EMBEDDED SOFTWARE

05 Nov 2020
15:30 - 16:15
Case Study