David Baelde
Professeur Des Universités at École normale supérieure de Rennes
Greater Paris Metropolitan Region France
Summary
🤩
Rockstar🎓
Top SchoolDavid Baelde is a professor and researcher with over 21 years' experience at the intersection of logic, proofs, types and programming, currently leading research in the SPICY team at IRISA, École normale supérieure de Rennes. His academic work spans fixed points, (co)induction, security, probabilistic program verification and reasoning about binding, grounded in a PhD from INRIA / École Polytechnique. As co‑founder and longtime developer of Savonet, he is a principal designer and maintainer of Liquidsoap, a statically typed functional DSL for multimedia streaming that blends language design with practical backend engineering. He combines deep formal-methods expertise with hands-on systems development, having applied Coq-based proofs to real problems like watermarking and probabilistic verification. Comfortable both teaching and shipping production software, he bridges rigorous theory and usable tooling in ways that influence both academic research and real-world multimedia infrastructure.
21 years of coding experience
20 years of employment as a software developer
Magistère, Computer Science, Magistère, Computer Science at Ecole normale supérieure de LyonMPSI-MP*, Mathematics, MPSI-MP*, Mathematics at Lycée CharlemagneMaster, Computer Science, Master, Computer Science at Université Denis Diderot (Paris VII)PhD, Computer Science, PhD, Computer Science at INRIA / Ecole Polytechnique
French, English
Github Skills (5)
scripting-language10
documentation9
testing9
back-end-development9
build-system8
Programming languages (10)
Github contributions (5)
savonet/liquidsoap
Feb 2011 - Jun 2019
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:190 commits, 11 pushes, 3 branches in 8 years 5 months
Contributions summary:David primarily contributed to the development and maintenance of the Liquidsoap project, focusing on core functionality and feature enhancements. Their work included implementing bug fixes, optimizing existing code, and improving the codebase. Furthermore, they were involved in refining the operator implementations and managing the documentation, including adding new documentation and enhancing existing documentation.
automationbackendfile-generationliquidsoapscripting
akiss/akiss
Dec 2012 - Feb 2017
Tool for checking trace equivalence for security protocols
Contributions:188 commits, 18 pushes, 2 branches in 4 years 3 months
security-protocol
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.