Andrea Asperti
Department of Informatics:
Science & Engineering (DISI)

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)
  • Working Group 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 computer intelligence.
    The most recent research is about neural networks, deep learning and reinforcement learning.

    home didattica projects papers


    april 2018