NASA Langley Research Center

In March 16 2009, I moved to NASA Langley. My current web page is located at http://shemesh.larc.nasa.gov/people/cam.

César A. Muñoz (Ph.D.)

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

• Third Workshop on Logical and Semantic Frameworks, with Applications (LSFA'08)
• Automated Formal Methods 2008 (AFM08)
• Journal of Formalized Reasoning
• 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008). These are the proceedings.
• Langley Formal Methods Workshop 2008 (LFM 2008)

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.