# Woody Bledsoe

> American mathematician and computer scientist (1921–1995)

**Wikidata**: [Q3709938](https://www.wikidata.org/wiki/Q3709938)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Woody_Bledsoe)  
**Source**: https://4ort.xyz/entity/woody-bledsoe

## Summary
Woody Bledsoe was an American mathematician, computer scientist, and artificial intelligence researcher. He is best known for his work in automated reasoning and his academic tenure at the University of Texas at Austin. He received the Herbrand Award in 1994 and was named a Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) in 1990.

## Biography
- **Born:** November 12, 1921, in Maysville
- **Died:** October 4, 1995, in Texas
- **Nationality:** United States
- **Education:** University of California, Berkeley; Ph.D. advised by Anthony Morse (1953)
- **Known for:** Research in artificial intelligence, mathematics, and automated reasoning
- **Employer(s):** University of Texas at Austin
- **Field(s):** Mathematics, Computer Science, Engineering, Artificial Intelligence
- **Cause of Death:** Amyotrophic lateral sclerosis (ALS)

## Contributions
Woody Bledsoe was a prolific academic mentor and researcher in the field of computer science and mathematics. He supervised at least ten doctoral students, including notable researchers such as Robert S. Boyer (known for the Boyer-Moore theorem prover), Donald Lee Simon, and Larry Marvin Hines. His academic lineage extends through students like James Bertram Morris, Jr., Charles Edward Wilks, and Vesko Genov Marinov.

Throughout his career, Bledsoe maintained an Erdős number of 2, reflecting his active collaboration and connectivity within the mathematical research community. His contributions to the field were formally recognized with the Herbrand Award in 1994, a prestigious honor in automated deduction. Additionally, he was recognized as an AAAI Fellow in 1990, highlighting his significant impact on the advancement of artificial intelligence.

## FAQs
### Q: When and where was Woody Bledsoe born?
A: Woody Bledsoe was born on November 12, 1921, in Maysville.

### Q: What was Woody Bledsoe's profession?
A: He was a mathematician, computer scientist, engineer, and artificial intelligence researcher. He also served as a priest.

### Q: What awards did Woody Bledsoe receive?
A: He was elected a Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) in 1990 and received the Herbrand Award in 1994.

### Q: Where did Woody Bledsoe work?
A: He was employed by the University of Texas at Austin.

## Why They Matter
Woody Bledsoe played a critical role in the development of artificial intelligence and automated reasoning, particularly within the American academic landscape. His position at the University of Texas at Austin allowed him to shape the early careers of numerous computer scientists who went on to make their own significant contributions to the field (such as Robert S. Boyer). By bridging mathematics and computer science, Bledsoe helped formalize methods in automated theorem proving. His recognition as an AAAI Fellow and Herbrand Award recipient solidifies his legacy as a foundational figure in the logic and mechanics of machine intelligence.

## Notable For
- Receiving the **Herbrand Award** in 1994 for contributions to automated deduction.
- Being named an **AAAI Fellow** in 1990.
- Serving as a doctoral advisor to **Robert S. Boyer** and other prominent computer scientists.
- Holding an **Erdős number of 2**.
- Serving as a professor at the **University of Texas at Austin**.

## Body

### Early Life and Education
Woodrow Wilson "Woody" Bledsoe was born on November 12, 1921, in Maysville. He was a citizen of the United States. He pursued his higher education at the University of California, Berkeley, where he completed his Ph.D. in 1953 under the supervision of Anthony Morse.

### Academic Career
Bledsoe served as a faculty member at the University of Texas at Austin. His professional roles spanned multiple disciplines; he was recognized not only as a computer scientist and mathematician but also as an engineer and an artificial intelligence researcher. He also held the occupation of a priest.

### Doctoral Students
During his tenure, Bledsoe supervised a significant number of doctoral students. His notable students include:
*   **Robert S. Boyer:** American mathematician and computer scientist.
*   **Donald Lee Simon:** Ph.D. recipient in 1990.
*   **Larry Marvin Hines**
*   **James Bertram Morris, Jr.**
*   **Charles Edward Wilks**
*   **John Wade Ulrich**
*   **Vesko Genov Marinov**
*   **Dallas Sylvester Lankford IV**
*   **Guohui Feng**
*   **Stephen Charles Darden**
*   **Robert Brockett Anderson**

### Death
Woody Bledsoe died on October 4, 1995, in Texas. The cause of death was amyotrophic lateral sclerosis (ALS), which was listed as a natural cause.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Woodrow Wilson Bledsoe",
  "alternateName": ["Woody Bledsoe", "W. W. Bledsoe"],
  "jobTitle": ["Mathematician", "Computer Scientist", "Artificial Intelligence Researcher", "Engineer"],
  "employer": {"@type": "Organization", "name": "University of Texas at Austin"},
  "nationality": {"@type": "Country", "name": "United States"},
  "birthDate": "1921-11-12",
  "birthPlace": "Maysville",
  "deathDate": "1995-10-04",
  "deathPlace": "Texas",
  "alumniOf": {"@type": "EducationalOrganization", "name": "University of California, Berkeley"},
  "knowsAbout": ["Artificial Intelligence", "Mathematics", "Automated Reasoning"],
  "sameAs": [
    "https://en.wikipedia.org/wiki/Woody_Bledsoe",
    "https://www.wikidata.org/wiki/Q3579171"
  ],
  "description": "American mathematician and computer scientist known for his work in artificial intelligence and automated reasoning."
}

## References

1. [Woody Bledsoe: His Life and Legacy. 1996](https://www.aaai.org/ojs/index.php/aimagazine/article/view/1207)
2. [Source](https://aaai.org/about-aaai/aaai-awards/the-aaai-fellows-program/elected-aaai-fellows/)
3. Mathematics Genealogy Project
4. Virtual International Authority File
5. CiNii Research
6. National Library of Israel Names and Subjects Authority File