Special Offer: Get 50% off your first 2 months when you do one of the following
Personalized offer codes will be given in each session
1649949861-576a22943ad038c4
Name
Roberto Bagnara
Title
Functional Safety Manager, BUGSENG
Bio
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.