Foto del docente

Andrea Asperti


Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Curriculum vitae

Andrea Asperti obtained a Ph.D in Computer Science at the University of Pisa in 1898.
After working as a researcher at the Econle Normale Superieure and at Inria-Rocquencourt, he moved to Bologna in 1992,as Associate Professor.

At present, He is Full Professor at the Department of Informatics: Science and Ingeneering (DISI) of the University of BOlogna.
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 many national PRIN projects and several international projects, comprising:

  • IST-2001-33562 MoWGLI (project leader)
  • IST-2001-37057MMK-NET (site leader)
  • TMR-Network LINEAR (site leader)
  • Working Group CONFER-II (site leader)

Andrea Asperti is Editor in Chief of the Journal of Formalized Reasoning (ISSN 1972-5787).

He coordinated the development team of the the interactive theorem prover Matita.

His scientific interests spanned a lot of different domains, comprising theory, programming languages, knowledge representation, automatic verification and machine intelligence.

He is currently working on Deep Learning and Deep Reinforcement Learning.

Latest news

At the moment no news are available.