Introduction
by Maria Paola Bonacina and Geoff Sutcliffe
Origins
- Born 13th July 1930, in Chicago USA
- Parents were Polish immigrants
- BS and MS in mathematics from University of Chicago
- PhD in mathematics from University of Illinois at Urbana-Champaign
- Worked at
Argonne National Laboratory from 1957
Early Influences
- The Mathematics and Computer Science Division of ANL
- (John) Alan Robinson had summer jobs at MCS, 1961-1966
-
The birth of resolution 1962-1964
- Recognizing the need for control
- The benefits of experimentation
- Building in equality with George Robinson
Colleagues
Tools and Products
Recognition
- ATP Prize of the AMS with Winker (1982)
- Herbrand Award (1992)
- Herbrand Award to Bill McCune (2000)