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