Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Richard Waldinger

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

See the Coffee Page

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

Richard Waldinger

15 September 1997