William McCune
William Walker McCune | |
|---|---|
| Born | December 17, 1953 |
| Died | May 2, 2011 (aged 57) |
| Nationality | American |
| Known for | Otter, Mace4, Prover9, Robbins conjecture |
| Scientific career | |
| Fields | Computer technology |
| Institutions | University of New Mexico |
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.