Emmanuel Fleury
Associate Professor
Bordeaux, Nouvelle-Aquitaine, France
Summary
👤
Senior🎓
Top SchoolEmmanuel Fleury is an associate professor in Formal Methods at the University of Bordeaux with over two decades of academic and research experience in program analysis, software verification, and model checking. He has a PhD from ENS Cachan and a strong track record on timed automata and controller synthesis from his work with the Uppaal team, now focusing on binary program analysis and security applications. Emmanuel combines rigorous theoretical foundations—abstract interpretation and theorem proving—with practical contributions to C projects like GNOME/glib, where he improved documentation and addressed low-level correctness and performance issues. Based in Bordeaux, he blends teaching, supervision, and research, and is known for translating deep formal techniques into tools and analyses that target real-world software and security problems.
12 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at ENS CachanMaster's degree, Mathematics and Computer Science, Master's degree, Mathematics and Computer Science at Université Paris Sud (Paris XI)
Stackoverflow
7,198reputation
722kreached
103answers
36questions
trace
top-5%
glibc
top-5%
Github Skills (15)
c1710
data-structures10
time-complexity10
c1110
data-structure10
documentation10
glibc9
c-programming9
trace9
sysctl6
linux6
bash6
python6
aslr6
debian6
Programming languages (13)
Github contributions (5)
GNOME/glib
Aug 2019 - Oct 2022
Read-only mirror of https://gitlab.gnome.org/GNOME/glib
Role in this project:
Back-end Developer & Documentation
Back-end Developer & DocumentationContributions:380 commits in 3 years 3 months
Contributions summary:Emmanuel's contributions primarily focused on improving the documentation within the glib repository by adding detailed explanations on the time complexities for the data structures. This suggests a focus on enhancing the usability and understanding of the library's core components. They also addressed signedness warnings in the code, highlighting their involvement in bug fixing and code maintenance, specifically related to C language features and performance. Additionally, the commits also add extra documentations about the return values of functions.
pygobjectgnome-shell-extensiongtk-rsgnomegitlab
perror/vm-make
Nov 2018 - Aug 2024
Build small QEMU images using Busybox
Contributions:16 pushes, 3 branches in 5 years 10 months
busyboxqemuqemu-images
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.