Nicolas Halbwachs#

Halbwachs Nicolas
Email:Nicolas.Halbwachs 'at'
Membership Number:2751
Membership type:ORDINARY
Main Country of Residence:FRANCE

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-9) was last updated on Friday, 6. July 2018, 13:57 by Kaiser Dana
  • operated by