Michele Loreti
Full Professor at University of Camerino
Camerino, Marche, Italy
Summary
👤
Senior🎓
Top SchoolMichele Loreti is a Full Professor at the University of Camerino with over a decade of experience researching formal methods for specifying and verifying qualitative and quantitative properties of concurrent and distributed systems. With a PhD in Logics and Theoretical Computer Science from Università di Siena and a long research track at the University of Florence, he blends deep theoretical foundations with practical verification challenges. His work focuses on formal tools that make complex system behaviors auditable and reliable, often at the intersection of logic, concurrency, and quantitative analysis. Based in Camerino, Italy, he is known for translating rigorous academic results into methods that inform dependable distributed-software design.
11 years of coding experience
19 years of employment as a software developer
PhD, Logics and Theoretical Compuer Science, PhD, Logics and Theoretical Compuer Science at Università di SienaMaster, Computer Science, Master, Computer Science at Sapienza Università di Roma
Github Skills (17)
forecasting9
java8
machine-learning7
moonlight7
adaptation6
python6
distributed-computing6
science5
temporal5
monitoring5
logic4
cpp3
signal3
federated3
computer-science3
Programming languages (6)
Github contributions (5)
michele-loreti/jResp
Dec 2016 - Apr 2017
Contributions:35 commits, 31 pushes, 1 branch in 3 months
quasylab/jspear
Apr 2022 - Feb 2025
Contributions:3 PRs, 59 pushes, 2 branches in 2 years 10 months
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.