David Mazières

David Mazières is a Professor at Stanford University, affiliated with the School of Engineering and the Department of Computer Science. He serves as a software engineer at the Stellar Development Foundation. His work bridges academic research and industry applications in distributed systems and security.

• University: Stanford University
• Academic Rank: Professor
• Email: dm@scs.stanford.edu

Research Interests: David Mazières' research focuses on distributed systems, cryptocurrencies, and computer security. Key areas include consensus protocols (e.g., Stellar), low-latency scheduling (Syrup, Shinjuku), and cryptographic techniques for privacy and security (SafetyPin, CCFI).

Key Achievements: His notable works include:

• TCP-ENO (RFC 8547) for secure transport protocols
• Stellar Consensus Protocol for decentralized finance
• SOSP 1999 Best Paper for 'Separating key management from file system security'

Teaching Contributions: He has taught core and advanced courses at Stanford since 2005, including CS212 (Operating Systems), CS240h (Functional Systems in Haskell), and CS251 (Cryptocurrencies and Blockchain Technologies). Previously taught courses at NYU (2001-2005).