I graduated in Spring 2021 with
- Bachelors in Computer Science
- Minor in Logic and Computation
- SCS Concentration in Principles of Programming Languages
- University Honors
- SCS College Honors
Spring 2021
- 07599 SCS Honors Undergraduate Research Thesis
- 15414 Bug Catching
- 82278 Japanese Film and Literature
- 98000 STUCO: Teaching Practicum
Fall 2020
- 07599 SCS Honors Undergraduate Research Thesis
- 15411 Compiler Design
- 15591 Independent Study in Computer Science
- 98000 STUCO: Teaching Practicum
Spring 2020
- 15317 Constructive Logic
- 15400 Research Practicum in Computer Science
- 15417 HOT Compilation
- 15819 Advanced Topics in Programming Languages: Computational Type Theory
- 80150 Nature of Reason
- 98242 Student Taught Course: Esoteric Languages
- 99350 Global Cities: Smart Technology
Fall 2019
- 15295 Competition Programming and Problem Solving
- 15300 Research & Innovation in Computer Science
- 15312 Foundations of Programming Languages
- 80310 Formal Logic
- 80411 Proof Theory
- 98295 Student Taught Course: Lock Picking
Spring 2019
- 15213 Introduction to Computer Systems
- 15295 Competition Programming and Problem Solving
- 15451 Algorithm Design and Analysis
- 21373 Algebraic Structures
- 80419 Interactive Theorem Proving
- 98330 Student Taught Course: Personal Development
Fall 2018
- 15210 Parallel and Sequential Data Structures and Algorithms
- 15295 Competition Programming and Problem Solving
- 15381 Artificial Intelligence
- 21301 Combinatorics
- 33104 Experimental Physics
- 57149 Basic Harmony
- 98317 Student Taught Course: Type Theory
Spring 2018
- 15150 Principles of Functional Programming
- 15251 Great Ideas in Theoretical Computer Science
- 21325 Probability
- 33114 Physics of Musical Sound
Fall 2017
- 15051 Discrete Math Primer
- 15122 Principles of Imperative Computation
- 15128 Freshman Immigration Course
- 15131 Great Practical Ideas of Computer Science
- 15151 Mathematical Foundations for Computer Science
- 21260 Differential Equations
- 57171 Introduction to Music Technology
- 76101 Interpretation & Argument
- 99101 Computing @ Carnegie Mellon
Transfer Credit
- 15112 Fundamentals of Programming & Computer Science
- 21120 Differential and Integral Calculus
- 21122 Integration and Approximation
- 21259 Calculus in 3-D
- 21241 Matrices and Linear Transformations
- 33141 Physics I for Engineering Students
- 33142 Physics II for Engineering and Physics Students
- 36201 Statistical Reasoning and Practice
- 84012 AP Government and Politics: US
- 85011 AP Psychology