معرفی
Nicolas Halbwachs is a Research Director at CNRS and Director of the Verimag Laboratory, affiliated with the University of Grenoble. His work focuses on formal methods for embedded systems, synchronous programming, and verification techniques. He co-developed the Lustre language, which forms the basis of the industrial tool Scade, and contributed to Linear Relation Analysis for program verification. Halbwachs has held positions including Invited Professor at Stanford University (1992-93) and has been recognized with the 2004 Michel Monpetit Award. He has supervised 10 PhD theses and contributed to major research projects like the SYRF Esprit project and the ASSERT initiative. His research spans verification of real-time systems, abstract interpretation, and automated invariant discovery in array-manipulating programs.
- Education: State Thesis in Mathematics (Grenoble, 1984), Third Cycle Thesis in Computer Science (Grenoble, 1979)
- Research Highlights: Synchronous Programming Foundations, Linear Relation Analysis, Lustre Language Development
- Leadership: Editor of Formal Methods in System Design, Program Committee Chair for CAV'99, TACAS'05, and EMSOFT'09
His recent work addresses invariant discovery in array-based programs, extending abstract interpretation techniques to handle complex data structures.
