[Home]
CV
- In 1987 I received the M.S. degree in Electrical Engineering
(field: Computer Science and Control Engineering)
from the University of Rome "La Sapienza".
Thesis Advisors: Corrado Bohm, Giorgio Ausiello.
- In 1991 I received
the Ph.D. degree in Mathematics
(field: Theoretical Computer Science and Applied Logic)
from Carnegie Mellon Unversity, Pittsburgh, PA. USA.
Thesis Committee:
Rick Statman (Advisor),
Peter B. Andrews,
Michael Albert,
Robert Harper.
- From 1992 to 1993 I was a Post Doct at
LIP (Laboratoire pour l'Informatique du Parallelisme),
ENS of Lyon (France).
-
From 1993 to 2001 I was a researcher at the university of L'Aquila.
-
From 2001 I am an Associate Professor at the Computer Science Department
of the University of Roma "La Sapienza".
[Home]