Prof. Dr. Roberto Bagnara

BUGSENG & University of Parma

Roberto Bagnara is CTO and Chief Scientist at BUGSENG and professor of Computer Science at the University of Parma. 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 working group for the C programming language.