Richard Stearns
contemporaryComputational Logicb. 1936
Richard E. Stearns is an American computer scientist and theoretical logician whose foundational work on computational complexity theory has significant implications for the philosophy of logic and computation. He shared the 1993 Turing Award with Juris Hartmanis for establishing computational complexity as a field of study.
Notable Achievements
1
Co-founded computational complexity theory with Juris Hartmanis
2
Awarded the 1993 ACM Turing Award
3
Proved foundational time hierarchy theorems establishing limits of computation
4
Contributed to understanding the relationship between logical decidability and computational tractability