The Researcher Who Would Teach Machines to Be Fair
Arvind Narayanan uses quantitative methods to expose and correct the misuse of quantitative methods.
How to Write Software With Mathematical Perfection
Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.