معرفی
Frans Kaashoek is the Charles Piper Professor in MIT's Department of Electrical Engineering and Computer Science (EECS) and a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL). He leads the Parallel and Distributed Operating Systems (PDOS) group, focusing on secure systems, formal verification, and distributed computing. His work emphasizes crash-safe systems, concurrent programming, and cryptographic security.
Education: PhD in Computer Science from Vrije Universiteit Amsterdam (1992), thesis on group communication in distributed systems under Andy Tanenbaum.
Research interests include operating systems, networking, programming languages, and computer architecture. Notable projects: FSCQ (verified crash-safe file system), Perennial (framework for verifying concurrent systems), and Noria (high-performance web backend).
Awards: ACM SIGOPS Mark Weiser Award (2001), ACM Prize in Computing (2010), National Academy of Engineering membership (2006), and American Academy of Arts and Sciences membership (2012).
Publications: Over 150 papers on systems software, verification, and security. Authored textbooks like Principles of Computer System Design: An Introduction and xv6 commentary.
