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