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 (11)
forecast9
forecasting9
machine-learning8
java8
python7
monitoring6
distributed-computing6
science4
cpp3
computer-science3
javascript1
Programming languages (6)
Github contributions (5)
michele-loreti/jResp
Dec 2016 - Apr 2017
Contributions:35 commits, 31 pushes, 1 branch in 3 months
pSpaces/jSpace
Jun 2017 - Dec 2018
Programming with Spaces in Java
Contributions:39 commits, 3 PRs, 59 pushes in 1 year 6 months
java
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.