Donald E. Knuth Professor, Emeritus, in the School of Engineering, Stanford University.
Working on formal verification, dipping my toes into AI.
Founder of VerifiedVoting.org, which advocates reforms to make elections more trustworthy.