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.