Experience
Education
Bio
My research develops better abstractions for managing concurrency and security, primarily in the operating system, and extends these abstractions to other portions of the technology stack as appropriate.