Richard Waldinger

Research Areas

• Deductive Program Synthesis
• Automated Theorem Proving

Professional Collaborations

• Kestrel Institute Specware System
• NASA Ames Research Center Amphion Project
• Stanford University Department of Computer Science, Consulting Professor, Theory Faculty

AI Center Home Page

SRI International Home Page

Richard Waldinger   
SRI International             Phone: 650/859-2216
333 Ravenswood Ave.             Fax: 650/859-3735
Menlo Park, CA 94025         e-mail: waldinger@ai.sri.com
 office location EK292