About Me
I am a third-year undergraduate student, researcher & software developer studying Computer Science, Mathematics & Music at Cornell University with a concentration in Programming Languages (PL). I'll be applying to graduate programs next cycle. I love research, teaching and building software! My interests lie in programming languages, compilers, formal verification and turning these into tools for building correct, efficient software.
Professionally, I work with fullstack development, and dabble in algorithms, machine learning & competitive programming.
I am a strong believer that CS is at its best when used hand-in-hand with other areas. I am always searching new for ways to integrate fields ranging from music to ornithology!
Research & Work Experience
I research programming language design, formal verification and computer architecture abstractions at CAPRA, where I am fortunate to be advised by Adrian Sampson and Anshuman Mohan. My research spans PL and computer networks, entering the fascinating realm of programmable packet scheduling. I work on developing programming languages & hardware for packet scheduling, with my current work involving mechanizing proofs of compiler correctness. I am an open-source contributor to the Calyx compiler infrastructure. I have also served as a BURE and ACSU representative for my lab.
I am a senior member, developer & frontend lead on Cornell's CMSX research & project team, where I am fortunate to be advised by Andrew Myers and work alongside a team of fantastic colleagues. I primarily work on developing better systems for student-staff interaction and maintaining efficient UI software.
I worked for two years as a data analyst & software engineer at the Cornell Lab Of Ornithology, on the Merlin project, where I worked on image classification, data cleaning software and curated database profiles for hundreds of species splits.
I worked for a year as an applied machine learning reseacher at ASDRP, where I developed models applying supervised learning techniques to image-based water quality analysis.
Teaching Experience
I have spent two years as Head Teaching Assistant of Cornell's foundational course in functional programming, advanced data structures and programming languages. I am fortunate to work with Michael Clarkson, under whose guidance I have coauthored assignments, labs and recitation material, taught hundreds of students and led three generations of course staff.
I previously worked as the lead mentor & curriculum developer at CodeForFun's HackHighSchool program, where I led instruction in Java programming, Python development and full-stack development.
I have founded and tutored several educational programs in fundamentals of programming and computer science.
Projects
Franz: A programming language & compiler targeted towards compact and modular musical composition, using a text-based musical notation. Compiles to ChucK, an audio production and representation language.
KLaTsL: A programming language for linear algebra. Explores the idea of a dimensional type system, and presents syntax including matrix comprehensions and typechecked transformations.
FindYourBird: A Bird ID and information for amateur ornithologists around California, allowing users to search, identify, read about and post information and photos about birds around them.
Saberchat: A platform used to centralize communities and their networks. Lets users quickly share & access information, and presents multiple features for community organizations.
Outside Work
I am an avid birdwatcher and wildlife photographer, and sometimes post my photos online. I previously had a birdwatching blog which I will (hopefully) migrate here soon.
I play the piano and guitar, and used to play the violin a lot though not as much anymore. I have also dabbled in Indian Carnatic and Indonesian Gamelan music. I occasionally compose and arrange music.
I enjoy biking, cooking, baking, soccer and cricket.