Emmanuel Fleury

Associate Professor @ Université de Bordeaux, France.
Formal Methods Team, Modelization and Verification Group @ LaBRI


Short Bio

Since October 2005, I hold a position of associate professor in the group Modelization & Verification in the team Formal Methods within the LaBRI at University of Bordeaux (France).

From 2001 to 2005, I have been post-doc (one year) and, then, assistant professor at Aalborg University (Denmark) in the CISS lab in the team of Kim G. Larsen. I defended my Ph.D. in 2002 at the LSV in ENS Cachan (France) under the supervision of Antoine Petit.

Research Interests

My main topic in research is 'Models and Software Verification'. Before 2006, I mainly focused on the 'Timed Automata' model, introduced by Alur and Dill and automated verification of model.

Since 2007, I work on verification of software and more precisely on 'Binary Program Analysis and Verification' and on 'Software Security', from, both, a practical and theoritical point of view.


I second Gilles Zémor at the head of the Master of Cryptology & Computer Security at University of Bordeaux. Gilles Zémor is the in charge of the mathematics part (cryptology) and I am in charge for the computer science part (mainly computer security). I participate to several courses in this Master, a course in Programming (Master1), a course in Software Security (Master1), a course in OS security (Master2) and a course in Software Verification (Master2).

Contact Information

Emmanuel Fleury
Office 261,
LaBRI, Domaine Universitaire
351, Cours de la Libération
33405, Talence Cedex, France
+33 (0)5 40 00 69 34
| GnuPG Public Key | GoogleScholar | Github | LinkedIn | Twitter