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
|
|