York / San Francisco / Houston / Washington DC / Santa Barbara / Freiburg / Taipei / Paris / Oxford / Manchester / Eindhoven / Portland / Grenoble / Waterloo / Monterey / Seattle / Barcelona / Minneapolis / Pasadena / Montevideo / Boston / Norfolk / Lund / Thessaloniki / Algiers / Machines / A GCC / Los Angeles / Copenhagen / Miami / Nice / Toulouse / /
Company
Jet Propulsion Laboratory / Prentice-Hall / Distributed Systems / Bang / Embedded Software Systems / NASA’s Jet Propulsion Laboratory / ESPRIT / Survivable Software / Kestrel Technology / Recom Technologies / Aerospace Systems / IFIP Working Group / SRI International / Mars Science Laboratory / /
Country
Uruguay / Netherlands / France / Canada / Macau / United Kingdom / Malta / Denmark / Taiwan / Germany / Italy / Algeria / Sweden / United States / Spain / Greece / / /
Facility
University of Manchester / United Nations University / Stanford University / University of Copenhagen / Kennedy Space Center / Aalborg University / California Institute of Technology / Kestrel Institute / NASA’s Jet Propulsion Laboratory California Institute of Technology / NASA Ames Research Center / University Studies / University of Central Florida / Technical University of Denmark / /
IndustryTerm
software technology / real-life audio/video protocol / parallel systems / Satellite workshop / software science paper / example communication protocols / information technology / flight software / insurance company database / real-time model checker / concurrent real-time systems / software / /
Movie
Paris / France / /
OperatingSystem
Fork / /
Organization
Technical University of Denmark / United Nations University / Constellation Program’s Command / Centre for Embedded Software Systems / Laboratory for Reliable Software / European Space Agency / NASA Office / Publicity committee / Ecole Normale Sup´ / NASA Ames Research Center / European Commission / Kestrel Institute / University of Manchester / University of Central Florida / Orlando / Royal Academy of Engineering Distinguished Visiting Fellowship / Reliable Software Systems Development / Organization of Meetings / California Institute of Technology / ARTIST2 Summer School / Organization of Workshops / National Science Foundation / Aalborg University / CERIST Autumn School on Cyber-Physical Systems / Kennedy Space Center / Danish Datamatics Center / Ecole Polytechnique / Paris / Department of Computer Science / Stanford University / 33rd Marktoberdorf Summer School / National Aeronautics and Space Administration / Site Command / University of Copenhagen / Steering committee / /
Person
Klaus Grue / Martin Leucker / Robert Milne / Klaus Havelund Ph / Dines Bjørner / Scott A. Smolka / Justin Seyster / Shankar / Ezio Bartocci / Klaus Havelund / Leslie Lamport / Gerard Holzmann / Kim Guldstrand Larsen / Eric Bodden / Scott D. Stoller / Manfred Broy / Andrzej Tarlecki / Robin Milner / John Rushby / Cliff Jones / Erez Zadok / Don Sannella / Radu Grosu / Neil D. Jones / Michael D. Griffin / Therese Hardin / Grigore Rosu / Christian Rovsing / Map / / /
Position
PC chair / Chair of the steering committee / Panel member/speaker / Senior Research Scientist in the LaRS group / supervisor / Senior Research Scientist / Ranger / professor / Administrator / Software programmer / General chair / initiator and scientific chief / translator / speaker / Computer Science Senior Research Scientist / Researcher / co-author / Racer / principal computer scientist / director / /
ProgrammingLanguage
Java / Promela / Scala / Pascal / C / Python / ML / C++ / /
ProvinceOrState
Virginia / Maine / Washington / California / Texas / Florida / /
PublishedMedium
Complex Systems / /
Region
Central Florida / /
SportsLeague
Stanford University / /
Technology
software technology / information technology / real-life audio/video protocol / API / Java / CAV / RETE algorithm / example communication protocols / simulation / /
Curriculum Vitae Dr. Klaus Havelund Ph.D in Computer Science Senior Research Scientist (SRS) at NASA’s Jet Propulsion Laboratory California Institute of Technology (Caltech) Email: [removed]