Not registered as user yet
Name: Thomas Anderson
Bio: Thomas Anderson is the Robert E. Dinning Professor of Computer Science and Engineering at the University of Washington. His research interests span all aspects of building practical, robust, and efficient computer systems, including distributed systems, operating systems, computer networks, multiprocessors, and security. He is the winner of the IEEE Koji Kobayashi Computer and Communications Award, the ACM SIGOPS Mark Weiser Award, and the IEEE Communications Society William R. Bennett Prize. He is an ACM Fellow, past program chair of SIGCOMM and SOSP, and he has co-authored eighteen award papers.
Affiliation: University of Washington
|CPP 2016||Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track|
|Show activities from other conferences|
View general profile