Dr. Roberto Bagnara
Chief Technology Officer
BUGSENG
BUGSENG
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 C COMPLIANCE
Let’s Do It Together with ECLAIR
03 Nov 2020
14:00 - 15:15
Workshop
MISRA COMPLIANCE FOR EMBEDDED SOFTWARE
05 Nov 2020
15:30 - 16:15
Case Study