Home

  Research

  Papers

  Future events

  Event organization

  Invited presentations

  Program committees

  Contact me

 

How to Reach Me

Klaus Havelund

Laboratory for Reliable Software (LaRS)
NASA's Jet Propulsion Laboratory
4800 Oak Grove Drive
Office: 301-450C
Pasadena, CA 91109
USA

Work email: Klaus.Havelund@jpl.nasa.gov
Personal email 1 : havelund@gmail.com
Personal email 2 : klaus@havelund.com

Work phone: (+1) 818-354-5418
Cell phone: (+1) 818-239-2178
Skype id: klaushavelund




Free website templates