Nicolas Halbwachs          Address Vérimag Centre Equation 2, avenue de Vignate F-38610 Gières Cedex FRANCE e-mail: Nicolas.Halbwachs@imag.fr

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