César A. Muñoz

[FirstName].[LastName]@nasa.gov

+1 757 864 1446

MS 130, NASA Langley Research Center, Hampton VA 23681, USA

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.

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), and Autonomy for Spacecraft Operation (A4O). I am one of the main developers of the Airborne Coordinated Conflict Resolution and Detection (ACCoRD) framework for the formal analysis of state-based separation assurance systems and a permanent contributor to NASA's PVS Research effort.

I currently work on the development of formal methods technologies for NASA's Next Generation of Air Traffic Systems (NextGen), Validation and Verification of Flight Critical Systems (VVFCS), and Unmanned Aircraft Systems Integration in the National Airspace System (UAS in the NAS) projects.

Research

• Recent publications.
• Recent projects.
• Previous publications are still available.

Conferences and Journals

• Fourth NASA Formal Methods Symposium (NFM 2012), April 3-5, 2012. Norfolk, Virginia, USA.
• Formal Methods Europe (FM 2012), August 27-31, 2012, Paris, France.
• Journal of Formalized Reasoning.

Summer Schools

• PVS Class 2012, October 9-12, 2012, Hampton, Virginia.
• 8th LASER Summer School on Software Engineering Tools for Practical Software Verification (LASER 2011): Advanced Theorem Proving Techniques in PVS with Applications.

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