Deian Stefan
I am a fourth year Ph.D. student in Computer Science, advised by David Mazières and John Mitchell. I work on secure computer systems; my research broadly intersects Programming Languages, Operating Systems, and Security. Currently, I am working on language- and library-based approaches to decentralized information flow control (DIFC) and secure computation (primarily in Javascript and Haskell).
Edward Z. Yang
I am a second year PhD student at Stanford advised by David Mazières and John Mitchell. I am a proud member of the Secure Computer Systems group. I'm interested in applying operating system mechanisms (hardware isolation, dynamic resource limits) to the design and construction programming languages, and vice versa (type systems, formal verification, information flow control). I'm a big fan of Haskell, a non-strict purely functional language.