Roberto, Margherita and Beatrice

Home

Personal Info

Papers

Teaching

Links

Home Page of Roberto Bagnara

Professor of Computer Science
Dept. of Maths and Computer Science
University of Parma, Italy
CEO, CTO and Chief Scientist
BUGSENG
Parma, Italy

PGP public key

Welcome to my home page.

I lead the Applied Formal Methods Laboratory at the Department of Mathematics and Computer Science of 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, software testing and constraint logic programming languages. Current projects include ECLAIR and the Parma Polyhedra Library. Past projects include CHINA, CLAIR, cTI, and PURRS.

Service:

  • Program Committee member for the ``14th International Conference on Quality Software'' (QSIC 2014), Dallas, USA, October 2-3, 2014.
  • Program Committee member for the Software Engineering in Practice (SEIP) track of the ``36th International Conference on Software Engineering'' (ICSE 2014), Hyderabad, India, May 31 - June 7, 2014.
  • Program Committee member for the ``13th International Conference on Quality Software'' (QSIC 2013), Nanjing, China, July 29-30, 2013.
  • Program Committee member for the ``29th International Conference on Logic Programming'' (ICLP 2013), Istambul, Turkey, August 24-29, 2013.
  • Program Committee member for the ``22nd EACSL Annual Conference on Computer Science Logic'' (CSL 2013), Turin, Italy, September 2-5, 2013.
  • 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.
  • Keynote speaker at the ``2011 Meeting on Rich-Model Toolkit: Infrastructure for Reliable Computer Systems'' and the ``2011 Symposium on Software Technologies Concertation on Formal Methods for Components and Objects'' (FMCO 2011), Natural Science Museum of Turin, Turin, Italy, October 3-5, 2011.
  • 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.
  • Program Committee member for the ``19th International Symposium on Logic-based Program Synthesis and Transformation'' (LOPSTR 2009), Coimbra, Portugal, September 9-11, 2009.
  • Invited speaker at the 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.
  • Program Committee member for the ``9th International Conference on Verification, Model Checking and Abstract Interpretation'' (VMCAI 2008), San Francisco, USA, January 7-9, 2008.
  • 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 February 06, 2014, 07:34:35.]

© Roberto Bagnara
bagnara@cs.unipr.it

Home | Personal | Papers | Teaching | Links