Giuseppe Primiero
Professor Of Logic at MIRAI
Milan, Lombardy, Italy
Summary
👤
Senior🎓
Top SchoolGiuseppe Primiero is a Professor of Logic and researcher at the University of Milan with over a decade of experience at the intersection of formal computation, epistemic and modal logics, and the philosophy of computing. He leads the Master’s programme in Human-Centered AI and serves as Scientific Director of the PhilTech Research Center while co-founding MIRAI to drive responsible AI research in Milan. His work blends type theory, constructive semantics and formal models of collective rationality to tackle practical issues like explainability, trust, and error dynamics in distributed systems. Having held fellowships and teaching posts across Europe and the US, he combines deep theoretical foundations with applied engagement in industry and policy-facing projects. A less obvious strength is his sustained focus on formalizing the epistemic conditions of trust and error-resolution, which informs both his academic work and translational efforts in AI governance.
11 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Philosophy and Mathematics, Doctor of Philosophy (Ph.D.), Philosophy and Mathematics at Stockholm UniversityMA, Philosophy, MA, Philosophy at Leiden UniversityMA (Erasmus Exchange), Philosophy, MA (Erasmus Exchange), Philosophy at Freie Universität BerlinPhD, Philosophy, PhD, Philosophy at Università degli Studi di Palermo
English, Dutch, German, Italian
Github Skills (4)
calculus4
trust3
coq3
coq-library1
Programming languages (1)
Github contributions (5)
gprimiero/InfoPriv
Apr 2015 - Jul 2017
Contributions:7 pushes, 1 branch in 2 years 2 months
gprimiero/trust4vanet
Dec 2016 - Mar 2017
Contributions:21 pushes, 1 branch in 3 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.