Program Committee NASA Formal Methods

Julia Badger

NASA

Stanley Bak

Stony Brook University

Suguman Bansal

Georgia Institute of Technology, USA

United States

Dirk Beyer

LMU Munich

Germany

Nikolaj Bjørner

Microsoft Research

Sylvie Boldo

Inria and Université Paris-Saclay

France

Georgiana Caltais

University of Konstanz

Darren Cofer

Rockwell Collins

Jennifer Davis

Collins Aerospace

Ewen Denney

NASA Ames Research Center

United States

Catherine Dubois

ENSIIE Paris-Evry

Rohit Dureja

IBM

Alexandre Duret-Lutz

EPITA / LRDE

Bruno Dutertre

Amazon Web Services

Aaron Dutle

Souradeep Dutta

University of Pennsylvania

Rüdiger Ehlers

Chuchu Fan

MIT

Marie Farrell

Maynooth University

Ireland

Bernd Finkbeiner

CISPA Helmholtz Center for Information Security

Germany

Alwyn Goodloe

NASA Langley Research Center

Arie Gurfinkel

University of Waterloo

Canada

Klaus Havelund

NASA/Caltech Jet Propulsion Laboratory

United States

Constance Heitmeyer

Naval Research Laboratory, washington DC

United States

Marijn Heule

Carnegie Mellon University

Bardh Hoxha

Susmit Jha

SRI

United States

Rajeev Joshi

Amazon Web Services

Panagiotis Manolios

Northeastern University

Anastasia Mavridou

KBR / NASA Ames Research Center

Stefan Mitsch

Carnegie Mellon University, USA

Cesar Munoz

AWS

United States

Natasha Neogi

NASA Langley Research Center

Corina S. Pasareanu

Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Ivan Perez

NASA Ames Research Center

Zvonimir Rakamaric

University of Utah

United States

Giles Reger

University of Manchester

United Kingdom

Johann Schumann

NASA Ames

Cristina Seceleanu

Mälardalen University

Sweden

Yasser Shoukry

University of California, Irvine, USA

Laura Titolo

NIA/NASA LaRC

United States

Oksana Tkachuk

Amazon Web Services

United States

Aaron Tomb

Galois

United States

Nestan Tsiskaridze

Stanford University

Caterina Urban

INRIA & École Normale Supérieure | Université PSL

France

Cristian-Ioan Vasile

Lehigh University

Virginie Wiels

Onera, France

Mumu Xu

University of Maryland

Huafeng Yu

Toyota InfoTechnology Center USA