Nicolas Halbwachs

• Computer aided verification
• Synchronous programming of reactive systems
• Tools and Algorithms for the Construction and Analysis of Systems