Klaus Havelund

Principal Researcher, Laboratory for Reliable Software, Jet Propulsion Laboratory

  • Joined September 2025

Names

Klaus Havelund (Preferred)

Emails

****@jpl.nasa.gov (Confirmed)
,
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Principal Researcher
Laboratory for Reliable Software, Jet Propulsion Laboratory (jpl.nasa.gov)
2006 – 2026
 

Advisors, Relations & Conflicts

No relations added

Expertise

runtime verification
2000 – 2025
 
formal methods
1985 – 2025