Théo Jourdan
Postdoctoral Researcher at LISN - Laboratoire Interdisciplinaire des Sciences du Numérique
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolThéo Jourdan is a postdoctoral researcher with 12 years of experience at the intersection of machine learning, human-computer interaction, and music technology, currently based in Paris. He develops interactive neural sound synthesis tools that reframe model training as a collaborative, real-time creative process in partnership with musician collectives and IRCAM. His background spans privacy-preserving ML for healthcare, federated learning, and accessible digital musical instruments co-designed for people with disabilities, reflecting a blend of technical depth and social sensitivity. He holds a PhD-level research record from Inria and engineering training in bioinformatics from INSA Lyon and KTH, grounding his work in signal processing and applied ML. Théo also experiments with proof assistants and dependent types, signaling a taste for formal methods alongside empirical research. Colleagues describe him as someone who intentionally designs technology to respect cultural sources and amplify diverse musical practices rather than homogenize them.
12 years of coding experience
2 years of employment as a software developer
Master's degree, Bioinformatics, Master's degree, Bioinformatics at KTH Royal Institute of TechnologyDiplôme d'ingénieur en Bioinformatique et Modélisation, Bioinformatics, Diplôme d'ingénieur en Bioinformatique et Modélisation, Bioinformatics at INSA Lyon - Institut National des Sciences Appliquées de Lyon
Spanish, English, French
Stackoverflow
4,958reputation
120kreached
127answers
20questions
ocaml
top-5%
Github Skills (78)
visual-studio-code-extension10
metaprogramming10
modular-cryptographic-proofs10
ssreflect10
coq-library10
formal-verification10
coq10
type-theory10
reflection10
vscode-extension10
vscode10
rfc10
pdf10
cryptography10
vscodium10
Programming languages (15)
Github contributions (5)
TheoWinterhalter/template-coq
Jan 2018 - Nov 2020
Reflection library for Coq
Contributions:5 releases, 20 PRs, 1454 pushes in 2 years 10 months
coqreflection
TheoWinterhalter/ett-to-itt
May 2018 - Apr 2021
Coq formalisation and plugin of a translation from ETT to ITT
Contributions:4 releases, 367 commits, 15 PRs in 2 years 10 months
coqreflectiontype-theorytranslationextensionality
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.