My Coursework

Currently, this page is a simple list of all the courses I've taken so far, seperated by subject and then chronologically. Ideally, when I find the time, I'll amend the list with a collection of posts describe my opinions about the class and how I found it as an experience.

Major Related Coursework

Fall 2025 (current)

• CS 544: Big Data Systems
• MATH 632: Stochastic Processes
• Teaching🍎: TA for CS354: Machine Organization and Programming
• Research🔬: mechanizing proofs of equivalence for progress related non-interference definitions

Spring 2025

• CS 642: Information Security
• CS 640: Computer Networks
• CS 541: Theory and Algorithms in Data Science
• CS 502: Theory and Practice in Computer Science Education
• Teaching🍎: Peer Tutor @ Computer Science Learning Center
• Research🔬: exploring properties of different formalizations of progress related non-interference in deterministic programs

Fall 2024

• CS 537: Operating Systems
• CS 564: Database Management Systems
• CS 704: Principles of Programming Languages
• CS 839: Systems Verification

Spring 2024

• CS 536: Compilers
• CS 577: Algorithms
• CS 639: Parallel & Throughput-Optimized Programming
• MATH 521: Analysis I

Fall 2023

• CS 354: Machine Organization and Programming
• MATH 431: Theory of Probability

Pre-College ~ Dual Enrollment

• (FA '22) CS 400: Programming III (Data Structures)
• (SU '22) CS 252: Introduction to Computer Engineering
• (SP '22) CS 300 : Programming II
• (SP '23) MATH 341: Linear Algebra
• (FA '22) MATH 234: Calculus - Functions of Several Variables
• (SU '22) MATH 240: Discrete Mathematics

General Coursework

• (SP '24) CLASSICS270: Classical Mythology
• (FA '24) PHILO 241: Introduction to Ethics
• (SP '24) ASIAN 357: Japanese Ghost Stories
• (FA '23) SPANISH 204: Fourth Semester Spanish