NASA logo

+ Contact NASA

  • + HOME
  • + TEAM
  • + LINKS

  • César A. Muñoz

    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 have been a Research Computer Scientist at NASA.

    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. I am one of the main developers of ACCoRD (Airborne Coordinated Conflict Resolution and Detection), a framework for the formal analysis of state-based separation assurance systems, and of DAIDALUS (Detect and Aovid Alerting Logic for Unmanned Systems), a reference implementation of a detect and avoid concept for the integration of UAS into the national airspace system. Furthermore, I am permanent contributor to NASA's PVS Research effort.



    Conferences and Journals


    The tag [*] identifies links that are outside the NASA domain


    Safety Critical Avionics Systems Branch
    NASA Langley Research Center
    Mail Stop 130
    Hampton, VA 23681-2199, USA
    Phone: +1 (757) 864 1446
    Fax: +1 (757) 864 4234