This is Enea.


Personal Info






[Page last updated on "febbraio 10, 2019, 09:33:03".]

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.
These two topics are obviously closely related, since the analysis tools use one or more abstract domains as underlying components.

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:

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:

© Enea Zaffanella

| Home | Personal Info | Research | Papers | Teaching | About