Roberto Bagnara is professor of Computer Science at the University of Parma and Software Verification Expert and Evangelist 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 and MISRA SQM Working Groups and of the ISO standardization working group for the C programming language.
