Projects in which I am Involved

The CHINA Project is my pet project.

I participate to the Parma unit of the MURST project ``Certificazione automatica di programmi mediante interpretazione astratta''.

I participate to the Pisa unit of the MURST project ``Interpretazione astratta, sistemi di tipo e analisi control-flow''.

[Page last updated on January 08, 2005, 21:56:30.]