Program Committee NASA Formal Methods

Julia Badger

NASA

Stanley Bak

Stony Brook University

United States

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

Collins Aerospace

United States

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

Kerianne Hobbs

Air Force Research Laboratory

United States

Bardh Hoxha

Susmit Jha

SRI

United States

Rajeev Joshi

Amazon Web Services

Panagiotis Manolios

Northeastern University

Anastasia Mavridou

KBR / NASA Ames Research Center

United States

Stefan Mitsch

Carnegie Mellon University, USA

United States

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

Amazon Web Services

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

Amazon Web Services

United States

Stefano Tonetta

Fondazione Bruno Kessler, Italy

Italy

Nestan Tsiskaridze

Stanford University

Caterina Urban

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

France

Cristian-Ioan Vasile

Lehigh University

United States

Virginie Wiels

Onera, France

Mumu Xu

University of Maryland

Huafeng Yu

Boeing Research & Technology

United States