I'm a MSCS student at Northeastern University. I have the fortune to be advised by Prof. Ji-Yong Shin at Systems Research Group. I'm currently visiting Computing Software Group under Prof. Tomoharu Ugawa.
Before joining Khoury College of Computer Sciences, I obtained my bachelors from 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 Prof. Shad Roundy and co-advisor Prof. Tucker Hermans.
I'm generally interested in systems and theory (see CV for more details), topics include:
- Distributed systems related formal verifications and program analysis
- High-performance managed runtime systems
- Type theory and type based program analysis for modern programming languages