Sheon Han

When he invented Turing machines in 1936, Alan Turing also invented modern computing.

Arvind Narayanan uses quantitative methods to expose and correct the misuse of quantitative methods.

Zero-knowledge proofs allow researchers to prove their knowledge without divulging the knowledge itself.

Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.