b. 1963
Lance Fortnow is an American theoretical computer scientist known for his contributions to computational complexity theory, particularly in interactive proof systems and the study of the P versus NP problem. He has served as Dean of the College of Computing at the Illinois Institute of Technology and authored influential works bridging computer science and philosophy of mathematics.
Co-proved the IP = PSPACE theorem on interactive proof systems
Authored 'The Golden Ticket: P, NP, and the Search for the Impossible'
Founding editor-in-chief of ACM Transactions on Computation Theory
Advanced research on computational complexity and its philosophical implications
Served as Dean of the College of Computing at Illinois Institute of Technology