Dipartimento di Informatica: Scienza e Ingengeria (DISI)
Mura Anteo Zamboni 7
40127, Bologna, Italy
Phone: ++39 51 209 45 05
Fax: ++39 51 209 45 10
Email: andrea dot asperti at unibo dot it
Andrea Asperti was born in Bergamo, Italy, in 1961.
He obtained a Ph.D in Computer Science at 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)
CONFER-II (site leader)
He is editorial manager of the Journal of Formalized Reasoning (ISSN: 1972-5787) and coordinated the development
of the Interactive Theorem Prover Matita.
His scientific interests are focused on mechanisation of reasoning and
The most recent research is about neural networks, deep learning and