Julien Signoles
Research Director at Télécom SudParis
Greater Paris Metropolitan Region France
Summary
👤
Senior🎓
Top SchoolJulien Signoles is a research director with 19 years’ experience specializing in formal verification, runtime assertion checking, and applying formal methods to software safety and security. Based at CEA-List in the Greater Paris area, he has progressed from postdoctoral researcher to Research Director while advising the Department of Software and System Engineering and contributing long-term to the Frama-C ecosystem. He combines deep academic credentials (HDR and PhD from Université Paris-Sud) with extensive teaching roles across top French engineering schools, translating formal techniques into practical tools and courses. Julien is known for bridging research and engineering—delivering R&D that directly improves code-level safety and security—and for mentoring both students and institutional development in formal methods. An often-overlooked strength is his sustained commitment to tooling (Frama-C) that operationalizes verification in industrial settings.
19 years of coding experience
5 years of employment as a software developer
Deug, MIAS (Mathématiques, Informatique et Applications aux Sciences), Deug, MIAS (Mathématiques, Informatique et Applications aux Sciences) at Université de ToursPhd, Computer Science, Phd, Computer Science at Paris-Sud University (Paris XI)Habilitation à Diriger des Recherches (HDR), Computer Science, Habilitation à Diriger des Recherches (HDR), Computer Science at Université Paris-Sud
English, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (14)
graph10
graph-algorithms10
tla10
c-language10
specification10
iso10
ansi10
ocaml9
graph-analysis9
dates4
first-order-logic1
dune1
administration1
logic1
Programming languages (2)
Github contributions (5)
runtime-verification/before-the-workshop
Nov 2017 - Jan 2019
Contributions:6 commits, 6 pushes in 1 year 2 months
workshop
signoles/bibtex2html
Sep 2018 - Jun 2020
Contributions:1 push, 2 branches in 1 year 9 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.