(no title)
pbadams | 2 years ago
Shafi Goldwasser (Probabilistic encryption, zero-knowledge proofs, etc.) got her PhD in 1984.
Leslie Lamport is just a bit before your deadline, his 'Time, Clocks' paper came out in 1978, but the bulk of his work was after 1980, including paxos.
While there's definitely some truth to your Kuhnian view of 'times of revolution' in a field, I think it's hard to apply that to recent progress because it may just be that it's not clear which research works were groundbreaking without the benefit of hindsight. To me, the revolutionary period of CS research is still ongoing.
pclmulqdq|2 years ago
If you look at "Computer science" as the narrowly-defined field of data structure and algorithm design in a vacuum, maybe things slowed down after 1980, but that's because problems with different constraints just became more interesting.