Roberto Bagnara

Università degli Studi di Parma, Italy 0000-0002-6163-6278

Roberto Bagnara began his formation in computer science at the U. of Bologna (1984-1987) and Geneva's CERN, where he worked in the group of Tim Berners-Lee, inventor of the World Wide Web (1988-1989). He received a laurea degree (magna cum laude, 1992) and a Ph.D. (1997), both in Computer Science, from the U. of Pisa. He has been Research Fellow at the School of Computer Studies of the U. of Leeds (1997), Assistant Professor (1997-2001) and Associate Professor (2001-2010) at the U. of Parma, where he is now Full Professor of Computer Science. He has been Visiting Researcher/Professor at Monash U., Melbourne, the U. of La Réunion and École Polytechnique, Paris. Since 2000 he is a member of the Board of Professors of the Ph.D. School on Mathematics and Statistics for the Computational Sciences of the U. of Milan and since 1997 he teaches university courses at all levels on the foundations of computer science, programming languages, advanced programming techniques, software analysis and verification. He is active, since 20 years, in the fields of program analysis and verification, abstract interpretation and, more generally, semantics-based program manipulation. He coauthored around 40 papers that have been published in international journals and proceedings of international conferences with referees. The research of Roberto Bagnara joins the scrupulous investigation on the theoretical foundations to experimental validation and the application in concrete contexts. He has been the inspirator and the principal architect of several software projects in the above mentioned research field, among which the Parma Polyhedra Library (PPL), a widely-used library of numerical abstractions especially targeted at applications in the field of analysis and verification of hardware and software. He is deeply involved in the transfer of the best software verification technology to industry: this is the mission of BUGSENG, a spin-off company of the U. of Parma he co-founded in 2011.

Biography Updated on 15 April 2013

Scholarly Contributions [Data Provided by scopus]

download