About Me

Hi there! 👋

I’m a masters computer science student at the University of Minnesota advised by Favonia. I’ve previously worked as a software engineer at Swoop Search, AWS and SIFT in the past. My computing-related interests lie in programming language design and formal verification, systems security, cryptography, and distributed systems.

Research

Currently, I’m learning about cubical type theory. I’ll probably write some blog posts as I learn more. My advisor is Favonia.

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:

• GopherHack. I’m one of the founding officers at the GopherHack organization, hoping to grow a CTF community at the University. I prepare material for club activities.
• PL Seminar. A group focused on reading and discussing programming languages related papers.
• UMN Kernel Object. A group dedicated to studying operating system development, created in the aftermath of the UMN Linux kernel controversy.
• ACM. I was webmaster in undergrad and wrote the current ACM website, as well as helping out with other events such as CTF.

Previously, I was also involved with:

• SASE. I was webmaster and was involved in organizing student group events as well.

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 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

I love cooking, listening to music, chess, bouldering, and beer. If you’re in the Minneapolis area, let’s chat!