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!).

• Vélus is a compiler for a subset of Lustre and Scade that is specified and verified correct using the Coq proof assistant.
• 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.