Klaus Havelund -

Registered user since Fri 26 Feb 2016

Name:Klaus Havelund

Country:United States

Affiliation:NASA/Caltech Jet Propulsion Laboratory

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

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

Contributions

ESEC/FSE 2020	Author of Impact paper: Model Checking Programs within the Plenary events-track
InterAVT 2019	Committee Member in Program Committee within the InterAVT-track
TACAS 2019	Committee Member in Program Committee within the TACAS 2019-track
VORTEX 2018	Committee Member in Program Committee within the VORTEX-track
VORTEX 2017	Committee Member in Program Committee within the VORTEX17-track
SPIN 2017	Session Chair of Session 4 (part of SPIN Keynote) Session Chair of Session 14 (part of SPIN Agenda) Session Chair of Session 1 (part of SPIN Keynote) Program Co-Chair in Organizing Committee Session Chair of Session 2: Symbolic Verification (part of SPIN Full Paper)
VORTEX 2016	Committee Member in Program Committee within the VORTEX-track
ECOOP 2017	Committee Member in Program Committee within the ECOOP Research Papers-track