Roberto Bagnara is professor of Computer Science at the University of Parma and Functional Safety Manager at BUGSENG. He coauthored more than 40 papers, in international journals and conference proceedings, on programming languages, static analysis and other techniques for software verification. He is a member of the MISRA C Working Group and of the ISO standardization working group for the C programming language.