HTTP/2 200 last-modified: Wed, 28 Aug 2024 15:35:40 GMT accept-ranges: bytes vary: Accept-Encoding content-encoding: gzip host-header: c2hhcmVkLmJsdWVob3N0LmNvbQ== content-length: 1709 content-type: text/html date: Fri, 16 Jan 2026 10:04:46 GMT server: Apache

Home   Research   Papers   Future events   Event organization   Invited presentations   Program committees   Contact me   www.havelund.com Klaus Havelund Jet Propulsion Laboratory Laboratory for Reliable Software JPL is a NASA field center. JPL is a Federally Funded Research and Development Center. JPL is managed by California Institute of Technology (Caltech). JPL on the wikipedia. I am a Senior Research Scientist (SRS) and a JPL principal. Member of IFIP WG 1.9/2.15. On the editorial board for FoMaC Transactions on Foundations for Mastering Change. Member of the Association for Computing Machinery (ACM). My CV. Free website templates