Pablo Donato
Postdoctoral Researcher at Charles University
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolPablo Donato is a postdoctoral researcher and software engineer with 11 years of experience at the intersection of programming, formal logic, and human-computer interaction. He has a PhD in Computer Science from École Polytechnique and has led formalization work in Lean and research on user-friendly interfaces for proof assistants at institutions including Istituto Grothendieck and Charles University. His work focuses on a new foundational language for proving and programming, blending deep theoretical foundations (topos theory, logic) with practical tooling to make formal methods more usable. Comfortable teaching and building software, he has a background in algorithms, data structures, web and Java/Python instruction, and a long-running personal commitment to coding that began at age 14. Beyond academia he brings a creative edge as a musician and composer, which informs his collaborative and design-oriented approach to research.
11 years of coding experience
1 year of employment as a software developer
Master's degree Logic, Master's degree Logic at University of Paris I: Panthéon-SorbonneBachelor's degree Computer Science, Bachelor's degree Computer Science at Pierre and Marie Curie UniversityHigh School, High School at Lycée Pierre de FermatMaster's degree Computer Science, Master's degree Computer Science at Université Paris CitéDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at École PolytechniqueDUT Computer Science, DUT Computer Science at Université Toulouse - Jean Jaurès
French, English
Stackoverflow
101reputation
229kreached
1answer
0questions
Github Skills (90)
in-progress10
latex10
mathematics10
tufte10
editor9
proofs9
dependent-types9
computer-algebra-system9
coq9
logic9
agda9
mathematical9
computer-algebra9
proof-assistant9
executable9
Programming languages (7)
Github contributions (5)
Champitoad/flower-prover
Mar 2023 - Mar 2025
Contributions:99 pushes, 2 branches in 2 years
Champitoad/dotfiles
Oct 2015 - Jul 2019
Contributions:20 pushes, 1 branch in 3 years 8 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.