Dr. Roberto Bagnara
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.