Our People
Richard J. Waldinger
Principal Scientist, Artificial Intelligence Center
Richard Waldinger is a principal scientist with SRI International's Artificial Intelligence Center, where he has worked since 1969. His research is in theorem proving and its application to automated program synthesis and other problems on the border between software engineering and artificial intelligence. A Consulting Professor of Computer Science at Stanford University, he has co-authored several textbooks on the relationship between logic and computer science. He holds regular gatherings in his office for coffee and cookies.
Waldinger was named an SRI Fellow in 1989.
