(April 1, 1941—January 22, 2021)
Computational Complexity
ACM SIGACT Distinguished Service Award (2002)
Associate Editor, Journal of Computer and System Sciences
Association for Computing Machinery (ACM) Fellow
Editor-in-Chief, Theory of Computing Systems
Humboldt Foundation Senior Research Award
SUNY Chancellor's Award for Excellence in Scholarship and Creative Activities
PhD Mathematics, Pennsylvania State University, 1970