How good is Lance Fortnow?

Lance Fortnow has a Lunoo score of 7.7/10. This score is based on AI-powered analysis of category fit, feature coverage, pricing signals, public reception, and recency.

What are the best alternatives to Lance Fortnow?

Visit lunoo.com/alternatives/lance-fortnow to see top-ranked competitors with objective AI-powered scores and side-by-side comparisons.

zoom_in Click to enlarge

Lance Fortnow

7.72

Good

▲ ▼

description Lance Fortnow Overview

Lance Fortnow is an American theoretical computer scientist recognized for his foundational work in computational complexity theory. He is best known for co-authoring the 1989 proof that established the equality of IP and PSPACE, a major milestone in the study of complexity classes. Fortnow currently serves as the dean of the College of Computing at the Georgia Institute of Technology. Beyond his academic research, he is a prominent science communicator, notably authoring the book "The Golden Ticket" to explain the P versus NP problem to a general audience.

insights Ranking position

Lance Fortnow ranks #169 of 185 in the Computer Scientist ranking, behind Trevor Darrell, ahead of David Eppstein.

help Lance Fortnow FAQ

What did Lance Fortnow prove about IP and PSPACE?

Fortnow and Carsten Lund showed that interactive proof systems are at least as powerful as the polynomial hierarchy, providing a crucial lower-bound step. Adi Shamir subsequently proved the full equality IP = PSPACE in 1990.

What is Lance Fortnow's connection to the P versus NP problem?

Fortnow is a computational complexity theorist who has written extensively about P versus NP for both researchers and general readers. His book The Golden Ticket explains why efficient solutions to NP-complete problems would have sweeping consequences.

What does the Fortnow-Sipser result say about interactive proofs?

Work by Fortnow and Michael Sipser established important limits and structural results for interactive proof systems before IP was fully characterized. Their research helped turn interaction between a prover and verifier into a central subject in complexity theory.

Where has Lance Fortnow held senior academic positions?

Fortnow has served on the computer science faculty at institutions including Northwestern University and the Georgia Institute of Technology. He has also held major professional leadership roles, including editor-in-chief of the ACM journal Transactions on Computation Theory.