Format:

- Grade CourseId CourseName

A grade of P stands for Pass (no letter grade) and TR stands for TRansfer credit

## PhD

### Fall 2022 (current)

- 80713 Category Theory

### Spring 2022

- P 15819 Advanced Topics in Programming Languages
- P 5780 Graduate AI
- P 15996 Intro to Justice, Equity, Diversity, and Inclusion in Computer Science

### Fall 2021

- P 15857 Analytical Performance Modeling & Design of Computer Systems
- P 15996 Introductory Course

## Undergrad

My undergrad at CMU consisted of a great mixture of classes. When I was first starting out at CMU, I wasn’t sure what I wanted to specialize in because I was interested in several areas.

My competitive programming and math competition experiences from high school pointed me towards theoretical computer science and working towards an additional math major, so I took several classes in these areas. I had a peculiar interest in computer generated music, so I sampled some classes from the music department, but ultimately decided I was more interested in theoretical CS. On top of a ridiculous workload in these early years of undergrad, I was also very busy figuring myself out as a person, resolving my depression and anxiety, and growing up into the responsible adult I am today.

Around the end of sophomore year, I realized I loved the areas of logic and formal verification even more than theoretical computer science. I had already completed the bulk of my graduation requirements, so from then on, I dedicated as many courses as I could towards these areas specifically.

My senior year was a “mock phd” year where I stopped taking as many classes and focused primarily on research, although still completing the remaining graduation requirements I needed. What was originally planned as an additional math major track thinned down to a math minor which thinned down even more into a philosophy minor, giving me greater freedom to dedicate myself to the programming language field through independent research. The work was exceedingly brutal, especially due to covid making everything worse, but I am really proud to have been accepted to a PhD at CMU.

I graduated in Spring 2021 with

- Bachelors in Computer Science (3.67 GPA)
- Minor in Logic and Computation
- SCS Concentration in Principles of Programming Languages
- University Honors
- SCS College Honors

### Spring 2021, Dean’s List, High Honors

- A 07599 SCS Honors Undergraduate Research Thesis
- A 15414 Bug Catching
- B 82278 Japanese Film and Literature
- P 98000 STUCO: Teaching Practicum (Co-instrutor of Anime course)

### Fall 2020

- A 07599 SCS Honors Undergraduate Research Thesis
- B 15411 Compiler Design
- A 15591 Independent Study in Computer Science
- P 98000 STUCO: Teaching Practicum (Co-instrutor of Anime course)

### Spring 2020

- A 15317 Constructive Logic
- A 15400 Research Practicum in Computer Science
- A 15417 HOT Compilation
- P 15819 Advanced Topics in Programming Languages: Computational Type Theory
- A 80150 Nature of Reason
- P 98242 Student Taught Course: Esoteric Languages
- B 99350 Global Cities: Smart Technology

### Fall 2019, Dean’s List, High Honors

- A 15295 Competition Programming and Problem Solving
- B 15300 Research & Innovation in Computer Science
- A 15312 Foundations of Programming Languages
- A 80310 Formal Logic
- A 80411 Proof Theory
- P 98295 Student Taught Course: Lock Picking

### Spring 2019

- A 15213 Introduction to Computer Systems
- A 15295 Competition Programming and Problem Solving
- B 15451 Algorithm Design and Analysis
- B 21373 Algebraic Structures
- A 80419 Interactive Theorem Proving
- P 98330 Student Taught Course: Personal Development

### Fall 2018

- B 15210 Parallel and Sequential Data Structures and Algorithms
- A 15295 Competition Programming and Problem Solving
- B 15381 Artificial Intelligence
- B 21301 Combinatorics
- A 33104 Experimental Physics
- A 57149 Basic Harmony
- P 98317 Student Taught Course: Type Theory

### Spring 2018

- A 15150 Principles of Functional Programming
- B 15251 Great Ideas in Theoretical Computer Science
- A 21325 Probability
- B 33114 Physics of Musical Sound

### Fall 2017, Dean’s List

- P 15051 Discrete Math Primer
- A 15122 Principles of Imperative Computation
- A 15128 Freshman Immigration Course
- A 15131 Great Practical Ideas of Computer Science
- B 15151 Mathematical Foundations for Computer Science
- A 21260 Differential Equations
- A 57171 Introduction to Music Technology
- A 76101 Interpretation & Argument
- P 99101 Computing @ Carnegie Mellon

### Transfer Credit

- TR 15112 Fundamentals of Programming & Computer Science
- TR 21120 Differential and Integral Calculus
- TR 21122 Integration and Approximation
- TR 21259 Calculus in 3-D
- TR 21241 Matrices and Linear Transformations
- TR 33141 Physics I for Engineering Students
- TR 33142 Physics II for Engineering and Physics Students
- TR 36201 Statistical Reasoning and Practice
- TR 84012 AP Government and Politics: US
- TR 85011 AP Psychology