Registered user since Thu 17 Mar 2016
I am a fourth 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 of 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.r.
|HIW 2016|| Backpack to Work: Towards Backpack in Practice|
Program Chair in Program Committee within the HIW-track
|Show activities from other conferences|
View general profile