Notable Course History

This page lists some of the more advanced or technical coursework I've completed.

2022 Fall:

• CPSC 568: Computational Complexity
• CPSC 565: Theory of Distributed Systems
• CPSC 531: Computer Music: Algorithmic and Heuristic Composition
• CPSC 490: Senior Project (Descriptive Complexity and Three-valued Logic)

2022 Spring:

• CPSC 554: Software Analysis and Verification
• CPSC 552: Deep Learning Theory and Applications
• CPSC 280: Directed Reading (Descriptive Complexity Theory)
• PHIL 439: Modal Logic

2021 Fall:

• CPSC 647: Quantum Computer Systems
• CPSC 290: Directed Research (PL for MBQC)
• PHIL 267: Mathematical Logic

2021 Spring:

• CPSC 610: Topics in Computer Science and Law
• CPSC 421: Compilers and Interpreters
• CPSC 338: Digital Systems (Embedded Systems)
• PHIL 427: Computability and Logic

2020 Fall:

• CPSC 467: Cryptography and Computer Security
• CPSC 460: Automata Theory and Formal Languages
• PHIL 437: Philosophy of Mathematics

2020 Spring:

• CPSC 366: Intensive Algorithms
• CPSC 323: Systems Programming and Computer Organization
• CPSC 310: Political Challenges of the Computer Age
• PSYC 335: Cognitive Neuroscience

2019 Fall:

• CPSC 223: Data Structures and Programming Techniques
• MATH 230: Vector Calculus and Linear Algebra
• PHYS 260: Intensive Introductory Physics

During High School:

• Analytic Geometry and Calculus I, II, III
• Physics with Calculus I, II
• Discrete Structures (Discrete Mathematics)
• Object Oriented Programming
• Programming with C