I am a member of the I3S Laboratory , theme ALM (Hardware and Software Architectures), project SPORTS (Synchronous Programming Of Real Time Systems). In 2005, the SPORTS project merged with the INRIA's Tick and OSTRE projects, giving birth to the AOSTE project. Now, Member of the AOSTE I3S/INRIA joint-project. Pôle COMRED
I have done research in Petri nets (Theory and Applications) till 1990.
My present research interests are in:
Synchronous Languages (Esterel, Lustre) and formalisms ( Grafcet, SyncCharts)
Reactive object programming (Reactive C, Synchronous Objects)
Embedded systems (MDE, UML profiles)Some interesting Research Links ...
The Glimpse server : a large Computer Science bibliography server