Christophe Junke
Ingénieur Recherche at CEA-List
Massy, Île-de-France, France
Summary
👤
Senior🎓
Top SchoolChristophe Junke is a research engineer and software developer with 14 years of experience at the intersection of formal verification, real-time/synchronous languages and embedded systems. He holds a doctorate in computer science and has built tooling for critical systems (GATeL for Lustre/Scade) and contributed to Signal/Polychrony compiler integration, combining deep theory with hands-on implementation. Christophe has shipped and maintained flight-control software at Parrot, and now works on SMT solvers, synchronous languages and trustworthy AI at CEA-List. Comfortable across C/C++ and Python as well as niche languages (Ocaml, Clojure, Prolog, Lisp), he moves between research prototypes and production-grade embedded code. Known for tackling cross-cutting problems—from parsers and compilers to testing and CI—he brings a pragmatic, verification-minded approach to complex, safety‑critical domains. Based in Massy, France, he favors roles that blend rigorous specification with practical system delivery.
14 years of coding experience
10 years of employment as a software developer
Doctorate Computer Science, Doctorate Computer Science at CentraleSupélecMaster's degree Computer Engineering, Master's degree Computer Engineering at Université Joseph Fourier (Grenoble I)Licentiate degree Computer Science, Licentiate degree Computer Science at Université Paul Verlaine de Metz
French, English
Stackoverflow
38,329reputation
817kreached
946answers
5questions
common-lisp
top-1%
ocaml
top-5%
macros
top-5%
hashtable
top-5%
elisp
top-5%
git
top-5%
Github Skills (135)
bank10
magit10
recursion10
common-lisp10
sbcl10
lisp10
linux9
emacs9
clojure9
elisp9
racket9
delete-files9
loops9
hashtable9
wildcard9
Programming languages (11)
Github contributions (5)
christophejunke/king
Feb 2017 - Aug 2022
Contributions:11 pushes, 2 branches in 5 years 7 months
christophejunke/marching-squares
Apr 2018 - Nov 2024
Contributions:27 pushes, 3 branches in 6 years 7 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.