Program Committee NASA Formal Methods

Julia Badger

NASA

Guillaume P. Brat

NASA Ames Research Center

Tevfik Bultan

University of California at Santa Barbara

United States

Radu Calinescu

University of York, UK

United Kingdom

Rafael C. Cardoso

University of Aberdeen

United Kingdom

Chih-Hong Cheng

Fraunhofer IKS & University of Hildesheim

Germany

Darren Cofer

Collins Aerospace

United States

Misty Davies

NASA

Ewen Denney

NASA Ames Research Center

United States

Clare Dixon

Jin Song Dong

National University of Singapore

Singapore

Aaron Dutle

NASA Langley Research Center

United States

Marie Farrell

The University of Manchester

United Kingdom

Angelo Ferrando

Antonio Filieri

AWS and Imperial College London

United States

Michael Fisher

University of Manchester, UK

United Kingdom

Sinem Getir Yaman

University of York, UK

United Kingdom

Alwyn Goodloe

NASA Langley Research Center

George Hagen

NASA

Klaus Havelund

NASA/Caltech Jet Propulsion Laboratory

United States

Boyue Caroline Hu

University of Toronto

Canada

Calum Imrie

University of York

United Kingdom

Inigo Incer

Caltech

United States

Taylor T Johnson

Vanderbilt University

United States

Andreas Katis

KBR / NASA Ames Research Center

United States

Sarfraz Khurshid

University of Texas at Austin

United States

Edward Kim

Berkeley

Joe Kiniry

Galois, Inc.

United States

Rory Lipkis

NASA Ames Research Center

Alessio Lomuscio

Imperial College London

Michael R. Lowry

NASA Ames Research Center

Sandy Lozito

NASA Ames Research Center

Matt Luckcuck

University of Nottingham, UK

United Kingdom

Ravi Mangal

Carnegie Mellon University

United States

Lina Marsso

University of Toronto

Canada

Anastasia Mavridou

KBR / NASA Ames Research Center

United States

Sayan Mitra

University of Illinois at Urbana-Champaign

United States

Stefan Mitsch

DePaul University

United States

Cesar Munoz

NASA

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

Lee Pike

Galois

Elvinia Riccobene

Computer Science Dept., University of Milan

Italy

Kristin Yvonne Rozier

Iowa State University

Sriram Sankaranarayanan

University of Colorado, Boulder

United States

Johann Schumann

KBR / NASA

Christel Seguin

ONERA

Chung-chieh Shan

Indiana University

United States

Satnam Singh

Groq

United States

Jun Sun

School of Information Systems, Singapore Management University, Singapore

Singapore

Youcheng Sun

The University of Manchester

United Kingdom

Hazem Torfah

Chalmers University of Technology

Sweden

Martin Torngren

KTH

Elena Troubitsyna

KTH

Edwin Westbrook

Galois

United States

Haoze Wu

Stanford University

United States

Mengwei Xu

University of Newcastle

United Kingdom

Huafeng Yu

U.S. Department of Transportation

United States