About Me

Hi there! 👋

I’m a computer science master’s student at the University of Minnesota, advised by Favonia. My current research topic is in cubical type theory and formalization of the Serre spectral sequence.

I’ve also worked as a researcher for SIFT, specializing in compilers and binary analysis. Previously I worked as a software engineer at Swoop Search and AWS.

Before that, I was a CTF hobbyist. I created EasyCTF, a cybersecurity competition for high schoolers. I also briefly played with the CTF team Project Sekai.

Academic life

I’m currently doing a thesis project for my master’s program, involving the mechanization of spectral sequences using cubical Agda. See some of my blog posts to follow along with my research!

Research projects

Conferences and summer schools

History of conferences and academic events I’ve attended.

University Involvement

I also love to participate in computing related student groups at the University of Minnesota. Here’s some of the groups that I’m involved with:

Previously, I was also involved with:

Open-source Projects

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

More can be found on my public Forgejo instance.

I’ve also started making an increased effort at using and supporting FOSS, and other software that’re not predatory towards users. As a part of this effort, I’m also self-hosting and rewriting some of the services and software that I use regularly.

Hobbies

Outside of computer science, I love cooking, music, and games. In particular, I’m a huge fan of rhythm games.

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:

If you’re in the Minneapolis or Twin Cities area, let’s chat!