معرفی
Roberto Bagnara is a Full Professor of Computer Science at the Department of Mathematics and Computer Science of the University of Parma, Italy. He has been a faculty member since 1997, progressing from Assistant Professor to Associate Professor and finally to Full Professor in November 2010. In addition to his academic position, he serves as Chief Scientist, CTO, and President of BUGSENG srl, a university spin-off focused on software verification and validation technologies.
Professor Bagnara received his laurea degree (magna cum laude) in Computer Science from the University of Pisa in July 1992, followed by a Ph.D. in Computer Science from the same university in September 1997. Prior to his doctoral studies, he worked at CERN in Geneva with Tim Berners-Lee, the inventor of the World Wide Web, and at the University of Bologna's Physics Department developing software for data acquisition and analysis.
His research spans abstract interpretation, program analysis and verification, and semantics-based program manipulation techniques. Professor Bagnara has made significant contributions to the fields of static program analysis, with particular focus on convex polyhedra manipulation, constraint logic programming, and formal verification of safety-critical software. His work bridges theoretical foundations with practical applications, resulting in several influential software projects including the Parma Polyhedra Library (PPL), CHINA, PURRS, and ECLAIR. The PPL is particularly notable as it's used in the GNU Compiler Collection (GCC), the most widely used compiler suite worldwide.
Professor Bagnara's recent publications reveal a strong focus on safe and secure programming, particularly in C language ecosystems. His work on C-rusted, MISRA compliance, and floating-point verification demonstrates his commitment to practical solutions for real-world software verification challenges. His research increasingly integrates formal methods with industry needs, especially for safety-critical embedded systems.
Professor Bagnara has supervised numerous thesis students and has been involved in multiple national and international research projects, including ESPRIT, COFIN, and PRIN projects. He has served on program committees for major conferences such as SAS, VMCAI, and ICLP, and has organized workshops and summer schools in his field.
He leads the Applied Formal Methods Laboratory at the University of Parma, which focuses on developing theoretical foundations and practical tools for software analysis and verification. The laboratory's work has significant industrial impact, particularly through the ECLAIR project, which aims to create an industrial-strength platform for analysis, verification and transformation of imperative languages.
