FacultyAffiliated FacultyResearch Associates Graduate Students

 

Woody Bledsoe

Deceased10/4/95

Homepage:

cs.utexas.edu/users/UTCS/report/1994/profiles/bledsoe.html

 

"Dr. Bledsoe was one of the founders of AI, making early contributions in pattern recognition and automated reasoning. He continued to make significant contributions to AI throughout his long career. His legacy consists not only of his scientific work but also of several generations of scientists who learned from Woody the joy of scientific research and the way to go about it. Woody's enthusiasm, his perpetual sense of optimism, his can-do attitude, and his deep sense of duty to humanity offered those who knew him the hope and comfort that truly good and great men do exist." From "Woody Bledsoe: His Life and Legacy", by Michale Ballantyne, Robert S. Boyer and Larry Hines, orginally published in AI Magazine, Vol. 17. No. 1, pp. 7-20, Spring 1996, American Association for Artificial Intelligence.To see the text of the entire article, please click on the following link to AI Magazine, aaai.org/Library/Magazine/Vol17/17-01/vol17-01.html

Projects

Automated Theorem Proving