- Embedded, Reactive, Real-Time Computer Systems; Synchronous Languages
- Formal Methods; Model-Checking; Timed Systems; Control of Dynamic Complex Systems
- Bioinformatics: Systems Biology.
- Parallel and Formal Methods: PAMEF
- Object-oriented Programming (Java)
- Algorithmics and Programming (C)
- Head of the MeForBio team at IRCCyN.
- Scientific Delegate at HCERES,
(previously at the French Research Ministry (2006-2010) and at ANR (2010-2012))
- Honorary member of the Institut Universitaire de France (IUF).
(updated march 2015)