b. 1963
Lance Fortnow is a contemporary American computer scientist known for his foundational work in computational complexity theory. He has contributed significantly to the study of interactive proof systems and the philosophical implications of computational limits on knowledge and reasoning.
Authored 'The Golden Ticket: P, NP, and the Search for the Impossible'
Contributed to the theory of interactive proof systems
Work on computational complexity and its epistemological implications
Long-serving editor and commentator on theoretical computer science