I am concetrating in Computer Systems and enjoy taking hard courses in the field.

I'm a teaching assistant for 15-122 (Principles of Imperative Computation), CMUs rigourous introductory programming class which teaches programming in C, data structures, contract-based programming, proofs, and memory safety.

To keep me busy, I am the tech lead of CMU Courses at ScottyLabs. Me and my team develop new features and maintain the existing codebase which serves CMU students during scheduling. If you're a CMU student, be sure to click that link and check it out for next semester ;)

I am currently working with Prof. Joshua Sunshine in his lab on specification refinement tools for critical code to be agentically developed. In the past I have worked with biology labs, leveraging computer vision for microscopy analysis.

My selected coursework includes Database Systems [15-445], Intro to Computer Systems [15-213], Great Theoretical Ideas in CS [15-251] Imperative Computation [15-122], Functional Programming [15-150], and Probability and Computing [15-151].

major           = "Computer Science"
concentration   = "Computer Systems" 
interests       = ["System Design", "Optimization", "Databases", "User Experiences", None] 
experience      = ["ScottyLabs - CMU Courses Tech Lead",
                   "Google x CMU - AlloyDB Optimization Team",
                   "Sunshine Lab - Specification Refinement and Testing",]
teaching_assistant  =  {
              "15-122" : ["S26", "N26", "F26", ],
            }
selected_coursework =  {
              "15-445" : "Database Systems", 
              "15-213" : "Introduction to Computer Systems", 
              "15-251" : "Great Theoretical Ideas in Computer Science", 
              "15-122" : "Principles of Imperative Computation", 
              "15-150" : "Principles of Functional Programming", 
              "21-259" : "Probability and Computing", 
            }

Currently I'm seeking out internships in backend and systems roles for the upcoming summer. I'm familiar with your typical stack: C, C++, Rust, Python, etc., but have various amounts of experience with other languages and am quick to pick up any tooling you throw at me.

searching = { "internships" : ["summer '27"], } 
languages = ["C", "C++", "Rust", "Typescript", "Go", "Python", 
             "SQL", "SML",]
technologies = ["Linux/Unix", "Dcoker", "Nix", "Git", "Vim", 
                "PostgreSQL", "DuckDB", "PyTorch", "SvelteKit", 
                "TailwindCSS", "React", ]

Some of my hobbies include iPods, retro gaming, stationery, tetris (I'm not very good, though), and manga. I love picking up new things, especially if they deviate from my normal interests and are hands on (i.e. It's fun to pretend to be an EE and repair electronics).

hobbies      = ["iPods", "retro gaming", "stationery", 
                "manga", "anime", "tetris"]
anime_manga  = ["Yotsuba&!", "Full Metal Alchemist: Brotherhood", 
                "Chainsaw Man", "Evangelion", "Yotsuba&!",
                "Monster", "ReLIFE", "Look Back", "The Climber",
                "Hope You're Happy Lemon"]