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
- Third Milestone Award for Automated Theorem Proving, American
Mathematical Society, 1991
- Distinguished Service Award of the International Joint
Conferences on AI, 1991
- President, American Association for Artificial Intelligence,
1984-1985
- Board of Trustees, International Joint Conferences on Artificial
Intelligence, 1976-83
- Chair, Board of Trustees, International Joint Conferences on
Artificial Intelligence, 1976-1978
- Board of Editors, International Journal of Artificial
Intelligence, 1972-present
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