William McCune Computer scientist
William McCune is a 57 years old Computer scientist from . William McCune was born on December 01, 1953 (died on January 01, 2011, he was 57 years old) in . His nickname was McCune Bill.
About
No, he died on 01/01/2011, 13 years ago. He was 57 years old when he died.
Awards (1)
Awarded Herbrand Award in 1999 .
What was William's zodiac sign?William McCune zodiac sign was sagittarius.
Other facts about William McCune
| Alias | McCune Bill |
|---|---|
| KnownFor | Otter (theorem prover), Robbins algebra, Prover9 |
| Nationality | United States |
| Date of death | 2011-05-01T00:00:00Z |
| Given name | William |
| Country of citizenship | United States Of America |
| Family name | McCune. Show people with the surname McCune |
William McCune Is A Member Of
Comments
There are no comments yet.