Thibault Dardinier
Postdoctoral Researcher at EPFL
Zurich, Zurich, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolThibault Dardinier is a postdoctoral researcher based in Zurich with a decade of experience bridging machine learning research and applied systems. He completed a PhD in Computer Science at ETH Zürich and has held research roles at Microsoft Research, SRI International, and as a visiting fellow at the National University of Singapore, focusing on probabilistic modeling and forecasting under uncertainty. His work includes extending Gaussian Processes for multi-step trajectory reasoning and practical sensor-based localization algorithms, with outcomes recognized by a research internship prize and an invention disclosure. Comfortable moving between theoretical development and production-ready implementations, he has applied dynamic programming, optimization, and BLE/UWB systems in industry settings. Trained at École Polytechnique and experienced as an oral examiner and former army officer cadet, he brings disciplined analytical rigor and clear communication to interdisciplinary teams.
10 years of coding experience
Master's degree, Computer Science, Master's degree, Computer Science at École PolytechniqueComputer Science, Mathematics and Physics, Computer Science, Mathematics and Physics at Lycée du ParcPhD, Computer Science, PhD, Computer Science at ETH Zürich
French, English, German, Spanish
Github Skills (54)
apl10
c-language10
tlaplus10
dependent-types10
viper10
verification10
condition10
intermediate10
ocaml10
sat-solver10
idris10
wolfram-language10
smt10
coq-library9
programming-language9
Programming languages (8)
Github contributions (5)
SRLKilling/sigma-backend
Dec 2016 - May 2017
Contributions:45 commits, 33 pushes in 5 months
alexandre-janniaux/lugdum35enfant
Aug 2015 - Sep 2017
Contributions:23 pushes, 1 branch in 2 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.