Leonardo de Moura

Computer Science Laboratory
SRI International

Position:
Computer Scientist in the Formal Methods and Dependable Systems Program
Address:
Computer Science Laboratory
SRI International
333 Ravenswood Ave
Menlo Park, California 94025, USA
Tel. : (650) 859-6136
Fax : (650) 859-2844
Email: demoura@csl.sri.com
Professional interests:
Model Checkers, Decision Procedures, Static Analysis, Theorem Proving.
Project Participation:
  • Symbolic Analysis Laboratory (SAL)
  • Yices
  • Integrated Canonizer and Solver (ICS)
    • Publications at SRI
    Slides
    Satisfiability Modulo Theories Competition
    Courses:
  • Fall 2003: CS359: Little Engines of Proof.
    • Leonardo de Moura: demoura@csl.sri.com