Sign in to view more
For contributions to system verification and for leadership in the development of verifiable voting systems.
For his dissertation "Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits."
He retired in 2017 and is no longer taking new students. He is currently a researcher at Facebook on blockchain technology.