Research

In few words, I am working on the abstract interpretation based static analysis of software and hardware systems: in the beginning, my main target was the analysis of (concurrent) (constraint) logic languages; later on, the analysis of imperative, mainstream languages came into focus. In my research I am mainly trying to provide new contributions to:

• the design, implementation and evaluation of abstract domains;
• the design, implementation and evaluation of static analysis and program verification tools.

For a better idea of what I mean, you can have a look at the list of my publications.

New projects are being developed: PPLite, PHAVerLite.

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 have collaborated (sometimes I am still collaborating) to the following research projects:

• the CHINA project;
• the Parma Polyhedra Library project;
• the Parma's University Recurrence Relation Solver project.

From 2011 to 2015, I partecipated to the creation and development of BUGSENG, a spin-off of the University of Parma. BUGSENG produces tools and provides services for automated software analysis, verification and testing; it also distributes the Parma Polyhedra Library.

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.
• Gruppo Nazionale per il Calcolo Scientifico (GNCS) of the Istituto Nazionale di Alta Matematica
.