Not registered as user yet
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.
|CPP 2016||Planning for Change in a Formal Verification of the Raft Consensus Protocol|
|Show activities from other conferences|
View general profile