Home Page of Roberto Bagnara

Welcome to my home page.

I lead the Applied Formal Methods Laboratory at the Department of Mathematics of the University of Parma.

I contributed to the creation of the degree in Informatica at the University of Parma.

From this page you can reach some personal information about myself, including contact information, an Italian CV and an English CV.

My research interests are: automated verification of (critical) software systems, static analysis, abstract interpretation, and constraint logic programming languages. Current projects include ECLAIR and the Parma Polyhedra Library. Past projects include CHINA, PURRS, cTI and CLAIR.

Service:

• Workshop Coordinator (with Nicos Angelopoulos) of the ``12th International Colloquium on Implementation of Constraint and LOgic Programming Systems'' (CICLOPS 2012), Budapest, Hungary, September 4, 2012.
• Program Committee member for the ``15th Portuguese Conference on Artificial Intelligence, Thematic Track: COLA - COmputational Logic with Applications'' (EPIA 2011), Universidade de Lisboa, Portugal, October 10-13, 2011.
• Scientific Committee member for ArcheoFOSS 2010, Foggia, Museo Civico, May 6-7, 2010.
• Program Committee member for the ``19th International Symposium on Logic-based Program Synthesis and Transformation'' (LOPSTR 2009), Coimbra, Portugal, September 9-11, 2009.
• Graphite Workshop, AMD's campus, Austin, Texas, November 16-17, 2008.
• Program Committee member for the ``Colloquium on Implementation of Constraint and LOgic Programming Systems'' (CICLOPS 2008), Udine, Italy, December 2008.
• Program Committee member for the ``15th International Static Analysis Symposium'' (SAS 2008), Valencia, Spain, July 16-18, 2008.
• Program Committee member for the Technical Track on Software Verification of the ``ACM 2008 Symposium on Applied Computing'' (SV08), Fortaleza, Brazil, March 16-20, 2008.
• Scientific Committee member for the ``III Workshop Open Source, Free Software e Open Format nei processi di ricerca archeologica, Padova, Italy, May 8-9, 2008.
• Program Committee member for the ``9th International Conference on Verification, Model Checking and Abstract Interpretation'' (VMCAI 2008), San Francisco, USA, January 7-9, 2008.
• Scientific Committee member for the ``II Workshop Open Source, Free Software e Open Format nei processi di ricerca archeologica, Genova, Italy, May 11, 2007.
• Invited speaker at the ``Polyhedral Computation'' Worskhop, Centre de recherches mathématiques, Université de Montréal, Montréal (Québec), Canada, October 17-20, 2006.
• Program Committee member for the ``15th International Symposium on Logic-based Program Synthesis and Transformation'' (LOPSTR'06), S. Servolo, Venice, Italy, July 12-14, 2006.

[Page last updated on April 30, 2012, 21:10:26.]