Foto del docente

Andrea Asperti

Professor

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.