Andrea Asperti
Department of Computer Science

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.
    home didattica projects papers

     

    november 2007