Research

This page is still under construction.

I am a member of the Computer Science Group at the University of Parma.

In few words, I am working on the abstract interpretation based static analysis of software and hardware systems: in particular, (concurrent) (constraint) logic languages and imperative languages. To better focus what I mean, you can have a look at the list of my publications.

Whenever possible, theoretical research should be coupled with a good experimental evaluation of the results achieved. This applies to all fields of science and, in particular, to computer science. That is why I am collaborating to the following research projects:

	The CHINA project.
PPL	The Parma Polyhedra Library project.
PURRS	The Parma's University Recurrence Relation Solver project.

My research work is - or has been - or will be - partially supported by:

• AIDA - Abstract Interpretation: Design and Applications.
  Collaborative MURST Project between the universities of Bologna, Padova, Parma, Pisa, Udine, Verona, Venezia.
• CoVer: Constraint-Based Verification of Reactive Systems.
  Collaborative MURST Project between the universities of Bologna, Genova, Padova, Parma, Udine, Verona.
• COFIN'01: Automatic Aggregate - and Number-Reasoning for Computing: from Decision Algorithms to Constraint Programming with Multisets, Sets, and Maps.
  Collaborative MURST Project between the universities of Catania, L'Aquila e Parma.
• Advanced Development Environments for Logic Programs.
  Integrated Action Italy-Spain 2001-2002.
• COFIN'00: Abstract Interpretation, type systems and control-flow analysis.
  Collaborative MURST Project between the universities of Pisa, Torino, Venezia and Verona.
• Certificazione automatica di programmi mediante interpretazione astratta.
  Collaborative MURST Project between the universities of Parma, Pisa, Udine, Venezia and Verona.
• Software Support for Constraint Logic programming.
  Collaborative EPSRC project GR/M05645 between the University of Leeds and the University of Kent at Canterbury.