Research Interests

See also:

The Logic programming group in Pisa.

Semantics and Abstract Interpretation at ENS (P. Cousot)

What my co-authors do.

I am mostly interested in abstract interpretation theory and approximation methods in any area of computer science, from semantics to static program analysis, software and hardware verification, model-checking and abstract model-checking, program transformation and optimization, software watermarking and code obfuscation, complexity and computability, logic and constraint-based programming, security and safety critical systems. Recently I am more and more interested in applying these mathods in security analysis, code obfuscation and in computational biology. In all these fields I am interested in studying systematic methods for approximating undecidable or highly complex problems my means of formal methods such as abstract interpretation. I believe that abstract interpretation represents a unifying theory for understanding most phenomena connected with computation. In pure math I am interested in lattice theory and closure systems.

This is a brief summary of my research in the last few years:

You can find some selected papers here. If you want to have a deeper look on some sort of manifesto of my research, check here my dream (...or nightmare) or check my invited lecture at MFPS'02 [G02].

... (from the Cartoonbank)

''For in contrast to the orient, occidental art, like life itself, is inclined to mitigate, to loosen, to modify even to break strict symmetry.
But seldom is asymmetry merely the absence of symmetry.
Even in asymmetric designs one feels symmetry as the norm from which one deviates
under the influence of forces of non-formal character''.
[H. Weyl, Symmetry 1952]