Skip to main content
These web pages use cascading style sheet features for formatting. You may still browse the text of the site, but for best results, use a modern CSS-enabled browser.

Laboratory for Reliable Software (LaRS)
at the Jet Propulsion Laboratory

Title Image

Klaus Havelund

Klaus's Picture
Address:
Jet Propulsion Laboratory
M/S 301-450D
4800 Oak Grove Drive
Pasadena, CA 91109
Phone:
818.354.5418
Fax:
818.393.4100
Email:
klaus at havelund dot com
Homepage:
http://www.havelund.com

Education

    • MSc Computer Science, University of Copenhagen, Denmark (1986)
    • PhD Computer Science, University of Copenhagen, Denmark (1994)

Professional Experience

    • Senior Research Scientist (2009), Jet Propulsion Laboratory, LaRS
    • Principal Computer Scientist (2007), Jet Propulsion Laboratory, LaRS
    • Researcher (2006), Columbus Technologies / Jet Propulsion Laboratory, LaRS
    • Researcher (1997-2005), NASA Ames Research Center
    • Researcher (1996-1997), Computer Science Dept., Aalborg University, Denmark
    • Researcher (1994-1996), LITP, Paris, France
    • Postdoc (1994), Ecole Polytechnique, Paris, France

For More Information