Guillaume Baudart
Researcher at Inria
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolGuillaume Baudart is a researcher at Inria’s PICUBE team (IRIF, Université Paris-Cité) with nine years of experience bridging programming languages and probabilistic modeling. His work focuses on probabilistic and reactive programming languages and has recently expanded into applying generative AI to interactive theorem proving. Prior roles at IBM as a Research Staff Member and multiple research internships across ENS, IRCAM and Goldsmiths reflect a strong mix of industry and academic collaboration. He holds a PhD in Computer Science from École normale supérieure and complementary degrees in computer science, signal processing for music, and mathematics. Based in Paris, he brings deep formal-methods expertise to practical AI-driven tooling for proof assistants—an uncommon combination that targets making formal verification more interactive and accessible.
9 years of coding experience
Bachelor of Science - BS, Mathematics, Bachelor of Science - BS, Mathematics at Université de Rennes IDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at École normale supérieureMaster ATIAM, Computer Science, Signal Processing, and Acoustic applied to Music, Master ATIAM, Computer Science, Signal Processing, and Acoustic applied to Music at Université Pierre et Marie CurieMagister, Computer Science, Magister, Computer Science at École normale supérieure de Rennes
French, English, Russian
Github Skills (93)
interoperability10
python10
pair-programming10
hyperparameter-optimization10
automl10
ssreflect10
hyperparameter-tuning10
science10
artificial-intelligence10
data-science10
ocaml10
automated-machine-learning10
synchronous10
machine-learning10
scikit-learn10
Programming languages (9)
Github contributions (5)
gbdrt/lale
Dec 2019 - Jan 2021
Library for Semi-Automated Data Science
Contributions:109 pushes, 68 branches in 1 year 2 months
pythonsciencedata-sciencesemimachine-learning
gbdrt/gbdrt.github.io
Jan 2019 - Jan 2025
Contributions:1 PR, 160 pushes, 1 branch in 6 years 1 month
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.