Well deserved. His work on Paxos flavors worth it alone.