معرفی
Cesar Munoz is a research scientist at the National Aeronautics and Space Administration (NASA), specifically affiliated with NASA Langley Research Center as indicated by his institutional profile at shemesh.larc.nasa.gov. He maintains an active research profile in formal methods with significant contributions to programming languages and verification communities.
His research focuses on:
- Formal Methods for system verification
- Theorem proving and logical frameworks
- Programming language semantics and type theory
- Analysis of numerical programs and floating-point arithmetic
Munoz's recent publications demonstrate expertise in temporal logic formalizations, runtime assurance frameworks, and floating-point error analysis. His work bridges theoretical computer science with practical applications in safety-critical aerospace systems where correctness is paramount.
He has served on program committees for prestigious conferences including:
- CPP (Certified Programs and Proofs) - 2025, 2024, 2020
- NASA Formal Methods (NFM) - 2024, 2023
- Principles of Programming Languages (POPL) - multiple years
Munoz maintains active contributions to open-source formal methods tools through GitHub repositories related to theorem proving and verification frameworks, demonstrating commitment to both theoretical advances and practical tool development in the formal methods community.
