Carnegie Mellon University
B.S. in Computer Science, 2020-2024
I earned my bachelor's degree from Carnegie Mellon University's
School of Computer Science. I took courses in artificial intelligence,
computer systems, algorithms, and theoretical computer science.
My coursework included a concentration in the princples of programming
languages, including topics in functional programming and type theory.
Awards and Honors:
Alan J. Perlis Undergraduate Student Teaching Award,
Phi Beta Kappa,
University Honors,
SCS Honors,
Senior Leadership Recognition Award
Inglemoor High School
International Baccalaureate Diploma, 2016-2020
I earned an International Baccalaureate diploma during high school,
as well as a diploma from the Northshore School District. My final
IB score was a 41 out of a possible 45 points, including the maximum
score of 7 on the Mathematics Higher Level, Physics Higher Level,
and Computer Science Standard Level exams.
Research
At CMU, I did my senior honors thesis with
Professor Frank Pfenning.
My research involved adding memory reuse to the SAX programming
language, which is a process calculus based on the logical system
known as the semi-axiomatic sequent calculus. I was able to both
extend the language to safely incorporate memory reuse. Moreover,
I was able to measure the impact of this optimization on various
benchmarks, both on its own and when combined with memory layout
optimizations.
My initial research at the University of Washington was in the
field of biomedical engineering and neuroscience. I worked on
optimizing code in MATLAB for reconstructing images from plane-wave
ultrasound scan data to achieve a better frame rate.
