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 (125)
visual-studio-code-extension10
agda10
mathematical10
metaprogramming10
modular-cryptographic-proofs10
dependent-types10
modular10
ssreflect10
coq-library10
proofs10
theory10
formal-verification10
interval-arithmetic10
idris10
coq10
Programming languages (12)
Github contributions (5)
TheoWinterhalter/phd-thesis
Mar 2020 - Oct 2020
Contributions:35 releases, 602 commits, 214 pushes in 7 months
GL-MPRI-2014/Ocawai
Oct 2014 - Jan 2015
Contributions:524 commits, 6 PRs, 72 pushes 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.