- Born 10 August 1926, Forest Grove MI
- Died 20 August 1972, Arlington VA
- BA Manchester College (North Manchester IN) 1948
- MA Michigan State University 1950
- PhD January 1959, University of Southern California
- Adviser: Leon Henkin
- Dissertation: Languages with expressions of infinite length
- Primary employer: University of Maryland