Scott Akridge,
Marshall Space Flight Center
Infusion of CGS into Shuttle and ISS related missions.

David Aspinall,
University of Edinburgh,
Scotland, theoretical foundations of theorem proving

Edward Balaban,
NASA Ames
Drilling Automation for Mars Exploration

Tony Barrett,
Researcher at Jet Propulsion Laboratory,
Parametric Analysis of Re-Entry Guidance Algorithms

David Bose,
Vice President of AMA Inc,
A developer of design and modeling tools for NASA programs

Scott Christa,
NASA Ames
Drilling Automation for Mars Exploration

Tim Crumbley,
Marshall Space Flight Center
Infusion of CGS into Shuttle and ISS related missions.

Department of Defense (DOD)

Department of Transportation (DOT)

Tara Estlin,
Jet Propulsion Lab
Verification of autonomous systems.

Federal Aviation Administration (FAA)

Fujitsu Laboratories of America,
Sunnyvale,
Large scale, industrial JPF application

Marcus Fisher,
IV&V
Evaluation of static analysis tools and infusion into missions

Bernd Fischer,
University of Southampton, England,
certification of autogenerated code

Jeremy Frank,
NASA Ames
Verification of autonomous systems.

Chuck Fry,
NASA Ames
Plexil modeling for the Drilling Automation for Mars Exploration

Brian Glass,
NASA Ames
Drilling Automation for Mars Exploration

Sathyanaraya Hanagud,
Georgia Tech:
Drilling Automation for Mars Exploration

Mats Heimdahl,
University of Minnesota,
Expert in MC/DC Coverage

Gerard Holzmann,
Jet Propulsion Lab
Evaluation of static analysis tools and infusion into missions.

Howard Hu,
Johnson Space Center
Testing V&V technologies for C++ manned flight software.

Sarah Huffman,
NASA Ames
Drilling Automation for Mars Exploration

Integrated Resilient Aircraft Control (IRAC) Project

Rajeev Joshi,
Jet Propulsion Lab
Evaluation of static analysis tools and infusion into missions.

Joint Planning and Development Office (JPDO)

Gabor Karsai,
Vanderbilt University.
Researcher in the area Model-based design tools.

Tanya Lippincott,
General Dynamics
Testing V&V technologies for C++ manned flight software.

Yan Liu,
Motorola Inc

Christoph Lueth,
University of Bremen, Germany,
Theoretical foundations of theorem proving

Darko Marinov,
University of Illinois at Urbana-Champaign,
JPF optimization research topics

Tim Menzies,
Professor at West Virginia University,
Parametric Analysis of Re-Entry Guidance Algorithms

Eric Mercer,
Brigham Young University, Provo
Guided testing and symbolic execution in JPF

Paul Miner,
NASA Langley,
Fault – Tolerance Testing

Gabor Karsai, Harmon Nine, Sandeep Neema,
Vanderbilt University,
Transforming Matlab models into Java Pathfinder models.

Charles Pecheur,
Universite Catholique de Louvain, Belgium
Testing of planners and planning domains

John Penix,
Google,
JPF's inclusion in Google's Summer of Code program

Danil Prokhorov,
Manager at Toyota Technical Research Center,
Expert in neural networks and system modeling

Franco Raimondi,
University College London, UK
Testing of planners and planning domains

Frederick Sheldon,
Oak Ridge National Laboratories

Carol Smidts,
Ohio State University
Failure and reliability analysis of embedded systems

Shannon Statham,
Georgia Tech
Drilling Automation for Mars Exploration

Geoff Sutcliffe,
University of Miami
Evaluation of automated theorem provers in practical applications.

Irem Tumer,
Oregon State University
Design methodology for software-intensive systems

Last modified: Aug. 22, 2008 by Allen Dutra.