Principal Scientist at Silicon Systems and Professor of Computing Systems. Pioneer in fault-tolerant distributed consensus protocols.