About William McCune
Lived 1953 – 2011 (aged 57). William McCune was an American engineer and computer scientist, known for Mace4, Otter (theorem prover) and Prover9.
William Walker McCune (December 17, 1953 – May 2, 2011) was an American computer scientist and logician working in the fields of automated reasoning, algebra, logic, and formal methods.
Biography
In 2000, McCune received the Herbrand Award for Distinguished Contributions to Automated Reasoning. In 2013, Automated Reasoning and Mathematics - Essays in Memory of William W. McCune was published in his honour.
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
People in William McCune's life
Named in this biography and alive at the same time
Related people
Same field, nearest in time
Contemporaries
People whose lives overlapped William McCune's
Frequently asked questions
Who was William McCune?
computer scientist
When was William McCune born?
William McCune was born on 17 December 1953.
When did William McCune die?
William McCune died on 2 May 2011.
What was William McCune's occupation?
William McCune was an engineer and computer scientist.
What was William McCune known for?
William McCune was known for Mace4, Otter (theorem prover), Prover9 and Robbins conjecture.
What nationality was William McCune?
William McCune was American.
Sources & further reading
Cite this page
APA: Biography.guide. (2026). William McCune. https://biography.guide/william-mccune/
MLA: "William McCune." Biography.guide, https://biography.guide/william-mccune/.
Chicago: "William McCune." Biography.guide. https://biography.guide/william-mccune/.
Data last updated: 2026-09-20 · Spot an error? Report a correction.
Page generated 2026-09-27 05:03 UTC