Foto del docente

Andrea Asperti

Full 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 in Paris 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 Engineering (DISI) of the University of Bologna, where he teaches courses on Machine Learning and Deep Learning.
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 Committee 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)

He has been editor in Chief of the Journal of Formalized Reasoning (ISSN 1972-5787) and He is on the editorial board of Electronics (2079-9292) for the Computer Science Section.

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, with a particular focus on generative techniques, and Deep Reinforcement Learning.