About Me

Hi there! 👋

Academic history

Prior to PhD I completed a master’s degree at the University of Minnesota, advised by Favonia. My thesis was on constructing exact couples in cubical Agda. I have also made several contributions to the cubical library. During this time, I served as an officer at GopherHack.

I also completed my bachelor’s degree at the University of Minnesota. During this time, I served as an officer at ACM UMN and SASE UMN.

Work history

I previously worked as a software engineer, primarily doing full-stack web development, at Swoop Search, AWS, and Epic Systems.

I have also previously worked as an associate researcher at SIFT.

Teaching history

In undergrad, I worked briefly as a teaching assistant.

• [2017 Spring] CSCI 2041, Advanced Programming Principles with Prof. Eric van Wyk.

Open-source Projects

Some of the projects I’ve been working on in my free time include:

• Wisesplit. A tool for easily splitting the bill with friends.
• Garbage. A CLI interface to the trash can API.
• Leanshot. A Linux screen capture tool.

More can be found on my GitHub and SourceHut accounts.

Hobbies

I have been an avid CTF hobbyist. I played with my university team GopherHack, as well as the team Project SEKAI briefly. I started EasyCTF, a CTF for high school students, which ran for several iterations.

I also enjoy cooking, running, and rhythm games. My main rhythm games are osu! and DDR.

Occasionally, I also like to take some time and immerse myself in some random hobby. Here are some things that I have taken interest in before:

• Chess
• Lock picking
• Bouldering
• Craft beer
• Keyboard building

If you’re in Cambridge or the Boston metropolitan area, let’s chat!