Following
Author of over forty academic papers and patents. Editor of the 7th Conference on Automated Deduction. Collaboration with Kenneth Kunen.
Winner of the 2013 Turing Award for imposing clear coherence on distributed computing systems. Devised important algorithms and developed formal modeling and verification protocols. Contributions have improved correctness, performance, and reliability of computer systems.
Writer, infant
We run digital assets funds from Sydney. Visit http://listedreserve.com to find out more. AFSL 513745
Host of Quanta Magazine's The Joy of Why podcast and previously hosted The Joy of x podcast, based on his book of the same name.