Woodrow W. Bledsoe

Peter O'Donnell Jr. Centennial Chair Emeritus in Computing Systems; Professor Emeritus of Mathematics

B.S. in Mathematics (1948)
University of Utah, Salt Lake City

Ph.D. in Mathematics (1953)
University of California, Berkeley

Honors, Awards, and Professional Service

Areas of Interest

Automatic theorem proving and artificial intelligence

Summary of Research

My research focuses on automated theorem proving and automatic theorem proof checking. This involves the use of heuristics and higher level plans, as well as the use of examples and of analogy. I am also interested in research on analogy and learning in artificial intelligence.

Previous profile
Index
Next profile