Dense Sphere Packings: A Blueprint for Formal Proofs: 2012
"After all is said and done, a proof is only as reliable as the processes that are used to verify its correctness. The ultimate standard of proof is a formal proof, which is nothing other than an unbroken chain of logical inferences from an explicit s..."
Turing’s Cathedral: 2012
"The race to build the hydrogen bomb was accelerated by von Neumann’s desire to build a computer, and the push to build von Neumann’s computer was accelerated by the race to build a hydrogen bomb. ...
Numerical simulation of chain react..."
Women Defining Technology for the Twenty-first Century: A Report from America: 1994
"There is little common or stereotypical about the women who make their careers in computing. We are from all walks of life. We are all types of people. Whatever else, we are drawn to the challenges presented by computing, by the thrill of solving pro..."
Kill the Password: Why a String of Characters Can’t Protect Us Anymore: 2012
"The ... thing that’s clear about our future password system is which trade-off--convenience or privacy--we’ll need to make. It’s true that a multifactor system will involve some minor sacrifices in convenience as we jump through..."
The Self-Organizing Computer Course: 2012
"Educators don’t necessarily have to teach. Instead, they can provide an environment and resources that tease out your natural ability to learn on your own. Self-study, self-exploration, self-empowerment: these are the virtues of a great educati..."