Roberto Bagnara
Professor of Computer Science at the University of Parma, and BUGSENG Software Verification Expert and Evangelist
Parma, Italy
Actions
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.
Area of Expertise
Topics
Please note that Sessionize is not responsible for the accuracy or validity of the data provided by speakers. If you suspect this profile to be fake or spam, please let us know.
Jump to top