---

Research interests

• Design and Verification of critical embedded systems
• Reactive, Real-Time, Synchronous programming.
• The Lustre data-flow synchronous language.
• Automatic verification of finite-state systems.
• Approximate verification of infinite systems, abstract interpretation.
• Automatic testing of embedded systems.

---

Short Curriculum Vitae

---

Main Publications