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 centre, 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:
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.