Andrea Asperti
Professor at Universita' di Bologna
Bologna, Emilia-Romagna, Italy
Summary
👤
Senior🎓
Top SchoolAndrea Asperti is a Professor of Computer Science at the University of Bologna with a decades-long academic career (Professorship since 1992) bridging foundational theory, programming languages, and applied AI. His recent research centers on deep learning, particularly generative modeling and reinforcement learning, while he continues to lead the Matita proof assistant project that ties his earlier work on interactive theorem provers to practical tools. He has held leadership roles including Head of the Department of Computer Science and editor-in-chief of the Journal of Formalized Reasoning, and he represents Bologna in the UnaEuropa alliance for AI and Data Science. International experience at institutions such as INRIA and ENS complements a Ph.D. from the University of Pisa. Notably, his profile blends rigorous formal methods expertise with hands-on generative AI research, making him comfortable across both symbolic and statistical approaches. Based in Bologna, he remains active in shaping both European AI research collaboration and proof-assistant development.
9 years of coding experience
Ph.D., Computer Science, Ph.D., Computer Science at Università di Pisa
Stackoverflow
935reputation
131kreached
29answers
0questions
Github Skills (22)
higher-order-functions9
lambda-calculus8
lambda7
computer-science6
big-o6
functional-programming6
graph-reduction6
algorithm6
computation6
computability6
turing-machine6
deep-reinforcement-learning5
point-of-interest5
convolutional-neural-networks4
python3
Programming languages (3)
Github contributions (5)
asperti/Dante
Oct 2020 - Aug 2021
Syllabification of the Divine Comedy
Contributions:7 commits, 4 pushes in 10 months
syllabificationdivinecomedy
asperti/MicroRacer
Oct 2021 - Mar 2022
A didactic micro car-racer environment for Deep Reinforcement Learning
Contributions:22 commits, 7 PRs, 10 pushes in 5 months
deep-reinforcement-learning
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.