Tenth NASA Formal Methods Symposium (NFM 2018)

30 Years of Formal Methods at NASA

Newport News Marriott at City Center[*]

Newport News, VA, USA, April 17-19, 2018

Keynote Speakers

Ricky Butler, NASA

Ricky W. Butler is a senior research engineer at the NASA Langley Research Center. He has led the formal methods program at Langley since 1989. The major goals of the Langley formal methods program are to advance the state of the art in formal methods, make it practical for use on high integrity systems, and to orchestrate the transfer of this technology to U.S. industry through carefully designed demonstration projects. Mr. Butler won the 1991 and 1996 H.J.E. Reid Awards (Langley's best research paper award). He received NASA's Exceptional Achievement Medal in 1997 and NASA's Distinguished Service Medal in 2016. His research interests include formal methods, fault-tolerance, and reliability analysis.

Gilles Dowek[*], INRIA, CNRS, École Normale Supérieure Paris-Saclay, France

Gilles Dowek is a researcher at Inria at the LSV, in the Deducteam team and professeur attaché at the ENS Paris-Saclay. He is interested in the formalization of mathematics (type theory, set theory, etc.), in proof processing systems (proof-checking, automated theorem proving, etc.), in physics of computation, and in the safety of aerospace systems. Dr. Dowek is interested in education and he has drawn the attention of the adminstration to the need of introducing computer science in K-12. He is a member of the joint ITIC group of the Société Informatique de France and the organization Enseignement public & informatique. He has been a member of the Committee apointed by the Minister of Education to suggest a computer science curiculum for senior high school students, this has lead to the curiculum published in the Bulletin officiel on October 13th 2011. He has participated to the report of the Academy of Sciences L'enseignement de l'informatique - Il est urgent de ne plus attendre. He is a member of the Scientific board of the Societé informatique de France and of the CERNA, Commission de réflexion sur l'éthique de la recherche en sciences et technologies du numérique d'Allistene, l'Alliance des sciences et technologies du numérique. In the past, he has been Deputy Scientific Director of Inria in charge of the domain Algorithmic, Programming, Software and Architectures. He also has been a consultant for the National Institute of Aerospace at NASA Langley Research Center. Among other things, he has participated to the development and the proof of ACCoRD, an Airborne Coordinated Conflict Resolution and Detection system. Dr. Dowek is a prolific author of popular science books. He is also innterested in the philosophy of sciences.


Curator and Responsible NASA Official: César Muñoz
LaRC Privacy Statement
Last modified: January 2018