Research interests
- Embedded, reactive, real-time computer systems, synchronous languages
- Model-checking, timed systems, control of dynamic systems
- Bioinformatics: Systems Biology.
Teaching
- Parallel and Distributed Systems: PASYR
- Object-oriented Programming (Java)
- Algorithmics and Programming (C)
- Compiling
Other activities
- Head of the MeForBio team at IRCCyN.
- Scientific Delegate at AERES,
(previously at the French Research Ministry (2006-2010) and at ANR (2010-2012)) - Honorary member of the Institut Universitaire de France (IUF).
(updated may 2013)
