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.
2013
Conference papers