Nicolas Halbwachs#


Halbwachs Nicolas
Email:nicolas.halbwachs 'at' imag.fr
Membership Number:2751
Membership type:ORDINARY
Main Country of Residence:FRANCE
Section:INFORMATICS
Username:nhalbwachs
Elected:2010
Homepage: 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


Imprint Privacy policy « This page (revision-8) was last updated on Tuesday, 3. February 2015, 11:10 by Majkowska Katarzyna
  • operated by