In Honor and Memory of Woody W. Bledsoe

who made such great contributions in Automatic Theorem Proving

in Artificial Intelligence and in many other areas

Woody W. Bledsoe (1921 - 1995)

The Wichita State University Geometry Theorem Proving Group is a direct descendent of The UT Automatic Theorem Proving Group. The leader of this group, S. C. Chou, was a 1985 Ph.D. student of R. S. Boyer and J S. Moore. Professor Boyer was a 1971 Ph.D. student of Woody Bledsoe.