Nicolas Halbwachs#
Membership Number: | 2751 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2010 |
Main Country of Residence: | FRANCE |
Homepage(s): | http://www-verimag.imag.fr/~halbwach |
Present and Previous Positions
- Since 2008 First class research director at CNRS
- 1992 - 2008 Second class research director at CNRS
- 1992 - 1993 Invited Professor at Stanford University
- 1984 - 1992 “Charg´e de Recherche” at CNRS
- 1980 - 1984 “Attach´e de Recherche” at CNRS
Fields of Scholarship
- Design and Verification of safety-critical embedded systems
- Reactive, Real-Time, Synchronous programming
- The Lustre data-flow synchronous language
- Automatic verification of finite-state systems
- Verification of numerical software by means of sound, but approximate methods
Honours and Awards
- 2004 "Michel Monpetit" Award of the French Academy of Sciences