Andrea Asperti obtained a Ph.D in Computer Science at the University of Pisa in
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).
period 2000-2007 he has been member of the Advisory Commettee of
the World Wide Web
Andrea Asperti coordinated many national PRIN projects and several international
- IST-2001-33562 MoWGLI
- TMR-Network LINEAR (site
- Working Group CONFER-II
Andrea Asperti is Editor in Chief of the Journal of Formalized Reasoning
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.