César A. Muñoz

[FirstName].A.[LastName]@nasa.gov

+1 757 864 1446

I earned an Engineering and a Master degree in Computer Science from the Universidad de los Andes (Bogotá), and a M.Sc. and Ph.D. in Computer Science from the University of Paris 7 (Paris). During my graduate studies, I was a Research Assistant in the Coq team at INRIA (Rocquencourt). After completing my Ph.D., I spent one and a half years as an International Fellow in the Computer Science Laboratory at SRI International (formerly, Stanford Research Institute) in Menlo Park. In 1999, I joined the Formal Methods group at ICASE - NASA Langley. From 2003 to 2008, I worked for the National Institute of Aerospace at Langley Research Center, where I led the NIA Formal Methods group. Since 2009, I am a Research Computer Scientist at NASA.

I am currently working on the development of formal methods technologies for NASA's Next Generation of Air Traffic Systems (NGATS) and Autonomy for Spacecraft Operation (A4O). In particular, I am one of developers of the Airborne Coordinated Conflict Resolution and Detection (ACCoRD) framework for the formal analysis of state-based separation assurance systems.

In the past, I have been involved in several NASA projects including Airborne Information for Lateral Spacing (AILS), Small Aircraft Transportation System (SATS), and Enhanced Oceanic Operations (EOO). I am also a contributor of NASA's PVS Research effort.

Research

• Publications
• Projects

Previous publications and research work are still available through my old home page at NIA.

Conferences and Journals

• Second NASA Formal Methods Symposium (NFM 2010)
• International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010)
• International conference on Interactive Theorem Proving (ITP 2010)
• Formal Methods for Aerospace (FMA 2009)
• Journal of Formalized Reasoning

Note: The tag identifies links that are outside of the NASA domain.