NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

NFM 2017 - Keynote Speakers


Michael Wagner, CMU

  Formal methods for the informal world
  Bio: Since 2006 I have focused on building safer robots, both as a researcher and a practitioner. Along with Professor Philip Koopman, I manage the Robustness Inside-Out Testing (RIOT) project, I led the Automated Stress Testing for Autonomy Architectures (ASTAA) project, and I served as the system-safety lead on the Autonomous Platform Demonstrator (APD) vehicle, all at Carnegie Mellon. I am also the CEO of Edge Case Research, a company I co-founded to help make autonomous vehicles and other complex software-based systems safer and more reliable. I have nearly twenty years of experience developing advanced robotic systems for industry, the Department of Defense, and NASA. I also have experience building robots that operate in the most extreme environments on Earth. Between 1999 and 2006, I led software implementation for five NASA-supported field expeditions at the Field Robotics Center at Carnegie Mellon. On the Robotic Antarctic Meteorite Search project I helped build the autonomous meteorite-seeking robot called Nomad. I was awarded an Antarctic Service Medal for six weeks of field work on the project. Between 2000 and 2006, I designed control, localization, and perception systems for the Hyperion and Zoë rovers. During this time I also integrated a novel fluorescence imager that enabled the Zoë rover to autonomously detect life in the Atacama Desert in Chile.

Ben Haldeman, Planet

  Agile Aerospace at Planet
  Bio: Ben Haldeman is technologist and program manager at Planet. Planet has launched over 140 “Dove” satellites into space towards imaging the whole Earth every day and making global change visible, accessible and actionable. At Planet, Ben designed the camera system, worked on the rockets to deliver the Doves to orbit, and works on future space technologies. Previously, at LCOGT, he created the first global robotic telescope network to provide persistent imaging of the stars and designed life detection instrumentation for a Mars rover mission. Ben is passionate about helping the Earth from space and seeing humanity living in space.

Manu Sridharan, Uber

  Moving Fast with High Reliability: Static Analysis at Uber
  Bio: Manu Sridharan is a senior software engineer at Uber, working on static analysis and software quality. He received his PhD from the University of California, Berkeley in 2007. He worked as a research staff member at IBM Research from 2008-2013 and as a senior researcher at Samsung Research America from 2013-2016. His research has drawn on, and contributed to, techniques in static analysis, dynamic analysis, and program synthesis, with applications to security, software quality, code refactoring, and software performance. His work has been incorporated into multiple commercial products, including IBM's commercial security analysis tool and Samsung's developer toolkit for the Tizen operating system. For further details, see

Jason Crusan, NASA

  Challenges in Designing for the Next Era of Human Space Exploration
  Bio: As director of the Advanced Exploration Systems (AES) Division within the Human Exploration and Operations Mission Directorate (HEOMD), Jason Crusan serves as NASA’s senior executive, advisor and advocate on technology and innovation approaches leading to new flight and system capabilities for human exploration of space. He manages over 450 civil servant employees and 150 onsite contractors with an active portfolio of 20-30 technology, engineering and flight development projects. He leads integration with the agency’s Space Technology Mission Directorate and programs within other HEOMD divisions including International Space Station and Exploration Systems Development.

Using an integrated approach that leverages public-private partnerships, industry, international partners, and academia, Mr. Crusan serves as the senior leader for AES across all NASA centers which involves: developing and maintaining critical human spaceflight capabilities; maturing new integrated systems, instruments, and ground systems; and delivering critical multi-million dollar flight hardware for NASA. He provides the executive management and leadership needed to develop effective technology development strategies, system acquisition strategies, contracting mechanisms, joint investment models and partnerships—in short, he develops the innovative approaches needed to maximize NASA’s access to new technologies and capabilities for human spaceflight.

Before becoming director of the agency’s new Advanced Exploration Systems organization in 2012, Crusan fostered innovation at NASA in many key roles beginning in 2005. He served as chief technologist for space operations, and successfully directed various technical and strategic initiatives as program executive or project manager. He was part of the Miniature Radio Frequency Program (Mini-RF), which flew two radar instruments to the moon to map the lunar poles, search for water ice, and demonstrate future NASA communication technologies. Currently, he also serves as the Director of the Center of Excellence for Collaborative Innovation (CoECI) formed to advance the utilization of open innovation methodologies within the U.S. government.

Crusan holds bachelor’s degrees in electrical engineering and physics, a master’s degree in computer information systems, and is currently a candidate for a doctorate in Engineering Management at George Washington University. Mr. Crusan is married and has two children.


Alexandre Arnold , Airbus

  A tour of formal methods in support of aerospace products development
  Bio: Alexandre Arnold is a research engineer at Airbus, working on model-based systems and software engineering topics as part of the “Integrated Product Engineering” team. He received a Double Diploma specialized in Aeronautics & Aerospace from the Ecole Centrale Lyon in France and the Technical University of Munich in Germany. Since his diploma thesis about the application of Model Checking techniques to SysML models, he has been working on various research projects, as well as operational ones for civil/military aircrafts and space division.

The research topics have mainly been focused on MBSE/MBT, modeling & simulation, formal verification, and systems of systems. One of the core missions of the R&T center of Airbus is to bridge the gap between state-of-the-art research, e.g. in the field of formal methods, and industrial application at different levels: (systems of) systems have been the main focus of Alexandre Arnold, whereas other team members such as Wenceslas Godard have been more involved at software level.

General Chair

Misty Davies
(NASA Ames)

Program Chairs

Clark Barrett
(Stanford University)

Temesghen Kahsai
(NASA Ames / CMU)

Local organization

Guy Katz
(Stanford University)

Rody Kersten
(CMU Silicon Valley)

Program Committee

Aarti Gupta (Princeton)
Alberto Griggio (FBK-IRST)
Alessandro Cimatti (FBK-IRST)
Alwyn Goodloe (NASA Langley)
Arie Gurfinkel (University of Waterloo)
Cesare Tinelli (University of Iowa)
Christoph Torens (German Aerospace Center)
Daniel Kroening (University of Oxford)
Dejan Jovanović (SRI)
Dino Distefano (Facebook)
Dirk Beyer (LMU Munich)
Domagoj Babic (Google)
Ella Atkins (University of Michigan)
Eric Feron (Georgia Tech)
Ewen Denney (SGT / NASA Ames)
Gerwin Klein (NICTA and UNSW)
John Harrison (Intel)
John Rushby (SRI)
Jorge Navas (SRI)
Julia Badger (NASA)
Kalou Cabrera Castillos (LAAS-CNRS)
Kelly Hayhurst (NASA)
Kirstie L. Bellman (The Aerospace Corporation)
Klaus Havelund (NASA JPL)
Kristin Yvonne Rozier (Iowa State University)
Lael Rudd (Draper)
Lee Pike (Galois)
Martin Schäf (SRI)
Mats Heimdahl (University of Minnesota)
Meeko Oishi (University of New Mexico)
Mike Hinchey (Lero-the Irish Software Engineering Research Centre)
Michael Lowry (NASA Ames)
Murali Rangarajan (Boeing)
Natasha Neogi (NASA Langley)
Neha Rungta (AWS)
Nikolaj Bjorner (Microsoft Research)
Patrice Godefroid (Microsoft Research)
Philipp Ruemmer (Uppsala University)
Pierre-Loïc Garoche (ONERA)
Rajeev Joshi (NASA JPL)
Sriram Sankaranarayanan (University of Colorado Boulder)
Susmit Jha (United Technologies)
Virginie Wiels (ONERA)
Wenchao Li (Boston University)
Zvonimir Rakamaric (University of Utah)

First Gov logo
NASA Logo -