| NASA Langley
Research Center The Sixth NASA Langley Formal Methods Workshop |
April 30 - May 2, 2008
List of participants
| Programme Committee | |
| Ricky W. Butler | NASA LaRC |
| Eric G. Cooper | NASA LaRC |
| Benedetto L. Di Vito | NASA LaRC |
| Jeffrey M. Maddalon | NASA LaRC |
| Mahyar R. Malekpour | NASA LaRC |
| Paul S. Miner | NASA LaRC |
| César A. Munoz | NIA |
| Kristin Y. Rozier | NASA LaRC |
| Radu L. Siminiceanu | NIA |
| Participants | |
| Lewis Anderson Ikwuagwu | University of Glasgow |
| Erin Connors | NASA, College of WIlliam and Mary |
| Dr. Mary Ann Malloy | The MITRE Corporation |
| Steve Jacobson | NASA Aviation Safety Program |
| Helen Gill | NSF/CISE/CNS |
| John Douglas Carter | University of Guelph |
| Pete Manolios | Northeastern University |
| Wendy Chou | Air Force Research Lab |
| John T. Bosworth | NASA Dryden FRC |
| Heber Herencia | Old dominion university |
| Gerard J. Holzmann | NASA/JPL Laboratory for Reliable Software |
| Jorge Richard Chavez Fuentes | Old Dominion University |
| Stefano Tonetta | Fondazione Bruno Kessler |
| David Harris | AFRL/RBCC General Dynamics |
| Lee Pike | Galois, Inc. |
| Amy Pritchett | NASA |
| Matthew Bolton | University of Virginia |
| Moshe Vardi | Rice University |
| J Ding | East Carolina University |
| Z. John Wang | Virginia Wesleyan College |
| John Paul | University of Wyoming |
| Nadya Kuzmina | University of Wyoming |
| Gheorghe Stefanescu | University of Illinois at Urbana-Champaign |
| Eduardo Lopez Ruiz | ONERA |
| Viet Yen Nguyen | RWTH Aachen University |
| James Rash | NASA/GSFC |
| Gopal Gupta | University of Texas at Dallas |
| Grigore Rosu | University of Illinois at Urbana-Champaign |
| John Rushby | SRI International |
| Bruno Dutertre | SRI International |
| Ajay Bansal | Georgetown University |
| Srividya K. Bansal | Georgetown University |
| Florent Kirchner | SRI International |
| Borzoo Bonakdarpour | Michigan State University |
| Jorge Navas | University of New Mexico |
| Sagar Chaki | Software Engineering Institute |
| Arie Gurfinkel | Software Engineering Institute |
| John Knight | University of Virginia |
| Xiang Yin | University of Virginia |
| Joshua Banson | Giftyhands |
| Shlomi Dolev | Ben-Gurion University of the Negev |
| Ewen Denney | RIACS / NASA Ames |
| Dr. Kimberly Wasson | University of Virginia Department of Computer Science |
| Sergey Tverdyshev | Saarland University |
| Joy Sun | NC A&T State University/National Institute of Aerospace |
| Gregory Kulczycki | Virginia Tech |
| Fernando Alegre | Georgia Institute of Technology |
| Bill Gardner | University of Guelph |
| Ajitha Rajan | University of Minnesota |
| Gianfranco Ciardo | University of California, Riverside |
| Chris Dupilka | US DoD |
| Alwyn E. Goodloe | NIA |
| Elsa L. Gunter | University of Illinois at Urbana - Champaign |
| Lisa F. Peckham | NASA Langley Research Center |
| Brent Weathered | Research and Technology Directorate, NASA Langley Research Center |
| Dr. Joseph Coughlan | NASA Ames |
| Raymond S. Calloway | NASA Langley Research Center |
| Alex Tsow | MITRE |
| Jon Sjogren | AFOSR (AFRL/AFMC) |
| Mats Heimdahl | University of Minnesota |
| Kurt Woodham | L-3 Communications - Titan Group |
| David E. Cox | NASA Langley |
| Eric Feron | Georgia Institute of Technology |
| David Barton | EDAptive Computing, Inc. |
Curator and Responsible NASA Official: Kristin Y. Rozier
LaRC Privacy Statement
last modified: January 15, 2008