|
Dipartimento di Scienze dell'Informazione
Mura Anteo Zamboni 7
40127, Bologna, Italy
Phone: ++39 51 209 45 05
Fax: ++39 51 209 45 10
Email: asperti at cs dot unibo dot it
Andrea Asperti was born in Bergamo, Italy, in 1961.
He got a Ph.D in Computer Science by the University of Pisa in 1989.
After a few years in Paris, at the Ecole Normale Superieure and at
INRIA-Rocquencourt, he moved to Bologna in 1992 where he obtained a
Full Professor position in year 2000.
He has been Director of the Undergraduate Program in Computer Science
(1998-2000) and Head of the Department (2005-2007).
In the period 2000-2007 he has been member of the Advisory Commettee
of the World Wide Web Consortium.
Andrea Asperti coordinated several national and international projects,
comprising the following european projects:
IST-2001-33562 MoWGLI (project leader)
IST-2001-37057MMK-NET (site leader)
TMR-Network LINEAR (site leader)
Working Group
CONFER-II (site leader)
He is editorial manager of the Journal of Formalized Reasoning (ISSN: 1972-5787).
His research interests are focused on principles of programming languages, and logical foundations of computer science.
He is the leader of the developer team behind
the Interactive Theorem Prover Matita.
|
