NASA Langley Research Center

Dr. César A. Muñoz Senior Staff Scientist National Institute of Aerospace 100 Exploration Way Suite 214, Hampton, Virginia, 23666, USA Tel: +1 (757) 325-6907  Fax: +1 (757) 325-6988 http://research.nianet.org/~munoz Gnu PGP FP: 9F10 F3DF 9D76 1377 BCB6 1A18 6000 89F5 C114 E6C4 You can also reach me at: NASA LaRC, NIA, MS 930, Hampton, VA, 23681, USA

Research Interest

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 at the Logical Project (formerly, Coq) 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. I joined the Formal Methods group at ICASE - NASA Langley in May 1999. Since January 1st 2003, I work for the National Institute of Aerospace at Langley Research Center, where I lead the Formal Methods group.

• Publications
• Résume
• Prototypes
• NIA LaTeX class for LaTeX 2e

Recommended Links

• Formal Methods in
• Journal of Formalized Reasoning
• 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008). These are the proceedings.

Related Links

• Formal Methods for Aviation Safety
• Formal Methods at NASA Langley

All documents are under the responsibility of their authors, and do not represent the official views of NIA nor NASA Langley Research Center. The information is given in good faith, but its accuracy cannot be guaranteed.