Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Nicolas Halbwachs - Personal Home Page
Nicolas Halbwachs obtained his "3rd Cycle Thesis" in 1979, at Grenoble
University, under the supervision of Patrick 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 Paul Caspi, on a formal
model 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, and on verification techniques for synchronous
programs. 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 in Stanford
University, as invited professor.