Klaus Havelund
Senior Research Scientist
Profile Link
Awards & Recognitions
- Senior Research Scientist | Software Reliability, Runtime Verification (2009)
- JPL Principal Designation | 348B - Advanced Flight Software (2007)
Senior Research Scientist