Welcome !
I have no special talents. I am only passionately curious.
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 |