NASA Formal Methods 2024
Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States
  • Attending
    • Venue: NASA Ames Conference Center, Building 3
    • Lunch
    • Social Events
  • Program
    • NASA Formal Methods Program
    • Your Program
    • Tue 4 Jun
    • Wed 5 Jun
    • Thu 6 Jun
  • Track/Call
  • Organization
      • NASA Formal Methods 2024 Committees
      • Track Committees
      • Organizing Committee
      • Program Committee
      • Contributors
      • People Index
  • Search
  • Series
    • Series
    • NASA Formal Methods 2024
    • NASA Formal Methods 2023
    • NASA Formal Methods 2022
    • NASA Formal Methods 2021
    • NASA Formal Methods 2020
    • NASA Formal Methods 2019
    • NASA Formal Methods 2018
    • NASA Formal Methods 2017
    • NASA Formal Methods 2016
    • NASA Formal Methods 2015
    • NASA Formal Methods 2014
    • NASA Formal Methods 2013
    • NASA Formal Methods 2012
    • NASA Formal Methods 2011
    • NASA Formal Methods 2010
    • NASA Formal Methods 2009
    • 6th NASA Langley Formal Methods Workshop (LFM 2008)
    • 5th NASA Langley Formal Methods Workshop (LFM 2000)
    • 4th NASA Langley Formal Methods Workshop (LFM 1997)
    • 3rd NASA Langley Formal Methods Workshop (LFM 1995)
    • 2nd NASA Langley Formal Methods Workshop
    • 1st NASA Langley Formal Methods Workshop
  • Sign in
  • Sign up
NASA Formal Methods 2024 (series) / NFM 2024 /

Program Committee NASA Formal Methods

Julia Badger

Julia Badger

NASA

small-avatar

Guillaume P. Brat

NASA Ames Research Center

Tevfik Bultan

Tevfik Bultan

University of California at Santa Barbara

United States

Radu Calinescu

Radu Calinescu

University of York, UK

United Kingdom

Rafael C. Cardoso

Rafael C. Cardoso

University of Aberdeen

United Kingdom

Chih-Hong Cheng

Chih-Hong Cheng

Fraunhofer IKS & University of Hildesheim

Germany

Darren Cofer

Darren Cofer

Collins Aerospace

United States

Misty Davies

Misty Davies

NASA

Ewen Denney

Ewen Denney

NASA Ames Research Center

United States

Clare Dixon

Clare Dixon

small-avatar

Jin Song Dong

National University of Singapore

Singapore

Aaron Dutle

Aaron Dutle

NASA Langley Research Center

United States

Marie Farrell

Marie Farrell

The University of Manchester

United Kingdom

Angelo Ferrando

Angelo Ferrando

Antonio Filieri

Antonio Filieri

AWS and Imperial College London

United States

Michael Fisher

Michael Fisher

University of Manchester, UK

United Kingdom

Sinem Getir Yaman

Sinem Getir Yaman

University of York, UK

United Kingdom

Alwyn Goodloe

Alwyn Goodloe

NASA Langley Research Center

small-avatar

George Hagen

NASA

Klaus Havelund

Klaus Havelund

NASA/Caltech Jet Propulsion Laboratory

United States

Boyue Caroline Hu

Boyue Caroline Hu

University of Toronto

Canada

Calum Imrie

Calum Imrie

University of York

United Kingdom

Inigo Incer

Inigo Incer

Caltech

United States

Taylor T Johnson

Taylor T Johnson

Vanderbilt University

United States

Andreas Katis

Andreas Katis

KBR / NASA Ames Research Center

United States

Sarfraz Khurshid

Sarfraz Khurshid

University of Texas at Austin

United States

small-avatar

Edward Kim

Berkeley

Joe Kiniry

Joe Kiniry

Galois, Inc.

United States

Rory Lipkis

Rory Lipkis

NASA Ames Research Center

Alessio Lomuscio

Alessio Lomuscio

Imperial College London

small-avatar

Michael R. Lowry

NASA Ames Research Center

Sandy Lozito

Sandy Lozito

NASA Ames Research Center

Matt Luckcuck

Matt Luckcuck

University of Nottingham, UK

United Kingdom

Ravi Mangal

Ravi Mangal

Carnegie Mellon University

United States

small-avatar

Lina Marsso

University of Toronto

Canada

Anastasia Mavridou

Anastasia Mavridou

KBR / NASA Ames Research Center

United States

Sayan Mitra

Sayan Mitra

University of Illinois at Urbana-Champaign

United States

small-avatar

Stefan Mitsch

DePaul University

United States

Cesar Munoz

Cesar Munoz

NASA

United States

Natasha Neogi

Natasha Neogi

NASA Langley Research Center

Corina S. Pasareanu

Corina S. Pasareanu

Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Ivan Perez

Ivan Perez

NASA Ames Research Center

Lee Pike

Lee Pike

Galois

Elvinia Riccobene

Elvinia Riccobene

Computer Science Dept., University of Milan

Italy

Kristin Yvonne Rozier

Kristin Yvonne Rozier

Iowa State University

Sriram Sankaranarayanan

Sriram Sankaranarayanan

University of Colorado, Boulder

United States

Johann Schumann

Johann Schumann

KBR / NASA

small-avatar

Christel Seguin

ONERA

Chung-chieh Shan

Chung-chieh Shan

Indiana University

United States

Satnam Singh

Satnam Singh

Groq

United States

Jun Sun

Jun Sun

School of Information Systems, Singapore Management University, Singapore

Singapore

Youcheng Sun

Youcheng Sun

The University of Manchester

United Kingdom

Hazem Torfah

Hazem Torfah

Chalmers University of Technology

Sweden

small-avatar

Martin Torngren

KTH

Elena Troubitsyna

Elena Troubitsyna

KTH

Edwin Westbrook

Edwin Westbrook

Galois

United States

Haoze Wu

Haoze Wu

Stanford University

United States

Mengwei Xu

Mengwei Xu

University of Newcastle

United Kingdom

Huafeng Yu

Huafeng Yu

U.S. Department of Transportation

United States

xThu 3 Jul 16:31

NASA Formal Methods 2024

contact form

using conf.researchr.org (v1.69.1)
Support page

Tracks

NFM 2024

Attending

Venue: NASA Ames Conference Center, Building 3
Lunch
Social Events
Sign Up