# 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 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