I'm a first-year PL/SE PhD student at Carnegie Mellon University, advised by Jonathan Aldrich. My interests lie in treating programming languages as human interfaces, and relatedly, in leveraging computers to help people think easily about hard problems.
I'm currently working on a radically new approach to information flow control that's easier to use while retaining reasoning power. Beyond this, I'm broadly investigating notions of usability for type systems that can capture both intensional (behavioral) and extensional (input/output) properties of programs.
I use they/them or he/him pronouns.
You can reach me at email@example.com.