Research interests

  • Embedded, Reactive, Real-Time Computer Systems; Synchronous Languages
  • Formal Methods; Model-Checking; Timed Systems; Control of Dynamic Complex Systems
  • Bioinformatics: Systems Biology.

Teaching

  • Parallel and Formal Methods: PAMEF
  • Object-oriented Programming (Java)
  • Algorithmics and Programming (C)
  • Compiling

Other activities


(updated march 2015)