Welcome !

I have no special talents. I am only passionately curious.
Albert Einstein

About Me

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

As a teacher, I give classes on Software Verification in the Master of Critical System Engineering and on Software Security in the Master of Cryptology & Computer Security at Bordeaux-1 University. I also supervise programming students projects in the 'Programming Course', plus some other unspeakable tasks.

As a researcher, I work on Verification of Real-time Softwares (model-checking, timed controller synthesis), Computer Security (network security, software security) and, more recently, on Code Verification.

From 2001 to 2005, I have been assistant professor at Aalborg University (Denmark) in the CISS lab under the direction of Kim G. Larsen. I defended my Ph.D. in 2002 at the LSV within the ENS Cachan (France) under the supervision of Antoine Petit.

Contact Informations

Emmanuel Fleury Office: 261
LaBRI, Domaine Universitaire, Phone: +33 (0)5 40 00 69 34
351, Cours de la Libération, Fax: +33 (0)5 40 00 66 69
33405 Talence Cedex, France E-mail: emmanuel.fleury@labri.fr