Name:Klaus Havelund

Country:United States

Affiliation:NASA/Caltech Jet Propulsion Laboratory

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