University of Minnesota
Software Engineering Center

You are here

Klaus Havelund

Dr. Klaus Havelund is a Senior Research Scientist at NASA’s Jet propulsion Laboratory's (JPL's) Laboratory for Reliable Software (LaRS). Before joining JPL in 2006, Klaus spent 8 years at NASA Ames Research Center. He has many years of experience in research and application of formal methods and rigorous software development techniques for critical systems. This includes topics such as programming language semantics, specification language design, theorem proving, model checking, static analysis and dynamic analysis. His current focus of interest is dynamic program analysis. He has published numerous papers, and organized several workshops and conferences. Klaus earned his PhD in Computer Science at the University of Copenhagen.