Nicolas Halbwachs         

Address

Vérimag
Centre Equation
2, avenue de Vignate
F-38610 Gières Cedex
FRANCE

e-mail: Nicolas.Halbwachs@imag.fr
[photo]

Research interests

Short Curriculum Vitae

Nicolas Halbwachs obtained his "3rd Cycle Thesis" in 1979, at Grenoble University, under the supervision of P. Cousot, on the static analysis of linear properties invariantly satisfied by the numeric variables of a program. In 1984, he obtained his "State Thesis", at Institut National Polytechnique de Grenoble, under the supervision of P. Caspi, on formal modelling of real-time system behavior.

Since then, he was one of the main designers of the synchronous data-flow language Lustre. He successively worked on the language design, compilation to software and hardware, on verification and testing techniques for synchronous programs, and on the verification of numerical programs by abstract interpretation. He is strongly involved in the industrial transfer of Lustre technology. He was the coordinator of the ESPRIT-LTR ``SYRF'' project (1997-99).

N. Halbwachs entered the CNRS (French National Center of Scientific Research) in 1980. Since 1991, he is "Directeur de Recherche" at CNRS, working at Verimag Laboratory in Grenoble. In 1992-93, he spent a year at Stanford University, as invited professor. In 2004, he was awarded with Paul Caspi, the Prize "Michel Monpetit" of the French Academy of Sciences.

Main Publications