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.
