NASA logo

+ Contact NASA



  • + HOME
  • + WELCOME
  • + QUICK PAGE
  • + PHILOSOPHY
  • + TEAM
  • + RESEARCH
  • + 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*. Since 2009, I have been a Research Computer Scientist at NASA. Dr. Muñoz currently leads the Formal Methods Team at NASA LaRC, which supports the development of formal methods technologies for NASA's Airspace Operations and Safety Program (AOSP).

    Research

    In the News

    Events

    Conferences and Journals

    Recent Publications

    Awards

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

    Contact

    Safety Critical Avionics Systems Branch
    NASA Langley Research Center
    Mail Stop 234
    Hampton, VA 23681-2199, USA


    cesar.a.munoz@nasa.gov
    Phone: +1 (757) 864 1446
    Fax: +1 (757) 864 4234