David Mazieres is an associate professor of Computer Science at
Stanford University, where he leads the Secure Computer Systems
research group.  Prof. Mazieres received a BS in Computer Science from
Harvard in 1994 and Ph.D. in Electrical Engineering and Computer
Science from MIT in 2000.  Prof. Mazieres's research interests include
Operating Systems and Distributed Systems, with a particular focus on
security.  Some of the projects he and his students have worked on
include SFS (a self-certifying network file system), SUNDR (a file
system that introduced the notion of fork linearizability), Kademlia
(a widely used peer-to-peer routing algorithm), Coral (a peer-to-peer
content distribution network), HiStar (a secure operating system based
on decentralized information flow control), and ICING (a network
architecture allowing enforcement of decentralized policies).  Most
recently, Prof. Mazieres is working on language-level security in
Haskell and on a new web security architecture called Starlight based
on information flow control.  Prof. Mazieres has several awards
including a Sloan award (2002), USENIX best paper award (2001), NSF
CAREER award (2001), MIT Sprowls best thesis in computer science award
(2000), and fast-track journal papers at OSDI (2000), SOSP (1995), and
SOSP (2005).