Hello! I'm an undergraduate student studying Computer Science at UC San Diego, where I contribute to the Liquid Haskell project. Last summer I interned at Mozilla, working on Firefox's JavaScript engine.

Some of the code I write can be found on my GitHub page, and my Mozilla activity can be found on Bugzilla. I keep an infrequently-updated blog, and sometimes I even tweet.

Want to get in touch? Try email, Twitter, or Telegram. My GPG key is on Keybase, if you're into that sort of thing—I mostly use it to sign the code I push.