Emmanuel Fleury

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

Skipper

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 did (and do) take part to many projects about these topics (ANR Bincoa, FUI MARSHAL+, ...).

Teaching

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 computer science part (computer security). I give two courses in this Master, a course in Programming (Master1) and a course in Software Security (Master2).

I am also seconding Jean-Paul Cerri at the head of Licence of Mathematics and Computer Science (Bachelor of Mathematics and Computer Science) at University of Bordeaux. Jean-Paul Cerri is in charge of the mathematics part and I am in charge of the computer science part.

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
first.last @ labri.fr
| GoogleScholar | Github | Twitter | LinkedIn