Hi there! 👋
I’m a masters computer science student at the University of Minnesota advised by Favonia. I currently work as a software engineer at Swoop Search, and I’ve worked at AWS and SIFT in the past. My computing-related interests lie in programming language design and formal verification, systems security, cryptography, and distributed systems.
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.
Previously, I was also involved with:
- ACM. I was webmaster and wrote the current website, as well as helping out with other events such as CTF.
- SASE. I was webmaster and was involved in organizing student group events as well.
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.
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. Find out what I’m using here.
I also enjoy playing badminton at the rec.