Conference Committees

Organizing Committee

• Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)
• Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair)
• Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair)
• Sanjai Rayadurgam, University of Minnesota, USA (PC Chair)
• Mike Whalen, University of Minnesota, USA (Financial Chair)
• Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair)

Program Committee

• Julia Badger, NASA Johnson Space Center, USA
• Clark Barrett , New York University, USA
• Saddek Bensalem , Verimag and University Joseph Fourier, France
• Dirk Beyer , University of Passau, Germany
• Borzoo Bonakdarpour , McMaster University, Canada
• Alessandro Cimatti , FBK, Italy
• Darren Cofer , Rockwell Collins, Inc., USA
• Myra Cohen , University of Nebraska-Lincoln, USA
• Misty Davies , NASA Ames Research Center, USA
• Leonardo de Moura , Microsoft, USA
• Ben Di Vito , NASA Langley Research Center, USA
• Alexandre Duret-Lutz , LRDE / EPITA, France
• Andrew Gacek , Rockwell Collins, Inc., USA
• Pierre-Loic Garoche , ONERA, France
• Shalini Ghosh , SRI International, USA
• Susanne Graf , Universite Joseph Fourier / CNRS / VERIMAG, France
• Radu Grosu , Stony Brook University, USA
• Arie Gurfinkel , SEI, Carnegie Mellon University, USA
• Klaus Havelund , NASA Jet Propulsion Laboratory, USA
• Constance Heitmeyer , Naval Research Laboratory, USA
• Gerard Holzmann , NASA Jet Propulsion Laboratory, USA
• Falk Howar , TU Clausthal / IPSSE, Germany
• Rajeev Joshi , NASA Jet Propulsion Laboratory, USA
• Dejan Jovanović , SRI International, USA
• Gerwin Klein , NICTA and University of New South Wales, Australia
• Daniel Kroening , University of Oxford, UK
• Rahul Kumar , NASA Jet Propulsion Laboratory, USA
• Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)
• Célia Martinie , ICS-IRIT, Université Paul Sabatier, France
• Eric Mercer , Brigham Young University, USA
• Cesar Munoz , NASA Langley Research Center, USA
• Jorge A Navas , SGT, Inc./NASA Ames Research Center, USA
• Natasha Neogi , NASA Langley Research Center, USA
• Ganesh Pai , SGT, Inc./NASA Ames Research Center, USA
• Charles Pecheur , Université catholique de Louvain, Belgium
• Lee Pike , Galois, Inc., USA
• Andreas Podelski , University of Freiburg, Germany
• Pavithra Prabhakar , Kansas State University, USA
• Venkatesh Prasad Ranganath , Kansas State University, USA
• Franco Raimondi , Middlesex University, UK
• Kristin Yvonne Rozier , University of Cincinnati, USA
• Neha Rungta , SGT, Inc./NASA Ames Research Center, USA
• Oleg Sokolsky , University of Pennsylvania, USA
• Stefano Tonetta , FBK, Italy
• Willem Visser , Stellenbosch University, South Africa
• Virginie Wiels , ONERA / DTIM, France
• Guowei Yang , Texas State University, USA

Steering Committee

• Julia Badger, NASA Johnson Space Center, USA
• Ben Di Vito , NASA Langley Research Center, USA
• Klaus Havelund , NASA Jet Propulsion Laboratory, USA
• Gerard Holzmann , NASA Jet Propulsion Laboratory, USA
• Michael Lowry , NASA Ames Research Center, USA
• Kristin Yvonne Rozier , University of Cincinnati, USA
• Johann Schumann, SGT, Inc./NASA Ames Research Center, USA