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.
