Andrea Asperti
Former member
University of Bologna (Visiting Professor)

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:

  • 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.

+39 51 209 45 05
Publications at the Joint Centre:


Conference papers

A Machine-Checked Proof of the Odd Order Theorem
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O’Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
Sandrine Blazy and Christine Paulin and David Pichardie. ITP 2013, 4th Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. Springer, 7998, pp.163-179, 2013, LNCS. 〈10.1007/978-3-642-39634-2_14〉
Accès au texte intégral et bibtex BibTex