Klaus Havelund

I am a Senior Research Scientist and JPL Principal in the Laboratory for Reliable Software at NASA’s Jet Propulsion Laboratory, managed by the California Institute of Technology. My research spans runtime verification, model checking, specification languages, and the use of formal methods with large language models.

I am a member of IFIP WG 1.9/2.15, on the editorial board of FoMaC — Transactions on Foundations for Mastering Change, and a member of the ACM.

JPL is a NASA field center and a Federally Funded Research and Development Center. More about JPL.