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 Research Center (LaRC). From 2003 to 2009, I worked for the National Institute of Aerospace*. In 2009, I became a Research Computer Scientist at NASA, where I led the Formal Methods Team at NASA LaRC. This group supports the development of formal methods technologies for NASA's Airspace Operations and Safety Program (AOSP). From 2021 to 2023, I was a Sr. Principal Applied Scientist at Amazon (Amazon Web Services), where I managed the S3 Automated Reasoning Team. I rejoined NASA in 2023.


    In the News


    Conferences and Journals

    Recent Publications


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


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