Synchronous Languages

Much of my thesis and ongoing research is centered on synchronous languages which focus on modelling and programming reactive systems. The synchronous languages are distinguished by their rigorous semantic foundations, the underlying model of time, and their simplicity (not so simple to achieve!).

  • Together with Marc Pouzet, I develop the ZĂ©lus language for programming hybrid systems.
  • My current work focuses more on dataflow languages, but...
  • I did work with Esterel for some time.