Research Interests

  • Synchronous Reactive Programming, Concurrency and Parallelism
  • Semantics and Program Verification
  • Deductive verification and Static Analysis
  • Temporal Properties of Programs
  • Formal Methods and Mechanization (usually in Coq)
See my publications in DBLP

ORCID iD icon


Phd students

Undergraduate students


PhD Committees


Université d'Orléans - Faculté des sciences
Bâtiment IIIA
Rue Léonard de Vinci, B.P. 6759
F-45067 ORLEANS Cedex 2, France