I'm a masters student at Northeastern University studying computer science since September 2023. Before joining NEU, I got my bachelors at University of Utah for my thesis System and Methods to Determine ME/CFS & Long COVID Disease Severity Using Wearable Sensor & Survey Data under the guidance of Shad Roundy and Tucker Hermans.
My research interests are theoretical computer science and distributed systems:
- Type theory and type based program analysis for modern programming languages.
- Distributed systems and consistency model verification.
As a hobby project, I operate an autonomous system (AS10779) under ARIN. I'm also an active OSS contributor, especially in the Nix/Nixpkgs/NixOS community on GitHub, where I'm a nixpkgs maintainer and darwin maintainer.
Some random recommendations: