Write a Blog >>
Klaus Havelund

Registered user since Fri 26 Feb 2016

Name: Klaus Havelund

Country: United States

Affiliation: Jet Propulsion Laboratory

Personal website: http://www.havelund.com

Research interests: Formal methods, dynamic program analysis (runtime verification), programming languages

Contributions

VORTEX 2017Committee Member in Program Committee
ECOOP 2017Committee Member in Program Committee
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile