Nicolas Halbwachs#
| Email: | nicolas.halbwachs 'at' imag.fr |
| Membership Number: | 2751 |
| Main Country of Residence: | FRANCE |
| Section: | INFORMATICS |
| Username: | nhalbwachs |
Present and Previous Positions
- Since 2008 : First class research director at CNRS
- 1992-2008 : Second class research director at CNRS
- 1992-93 : Invited Professor at Stanford University
- 1984-92 : “Charg´e de Recherche” at CNRS
- 1980-84 : “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
- "Michel Monpetit" Award of the French Academy of Sciences (2004)
| operated by | 
|