# Notable Course History

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

## At Yale

### 2023 Spring:

- CPSC 692: Independent Project (Complexity Theory)
- CPSC 554: Automated Decision Systems
- PHIL 478: Nonclassical Logics
- PHIL 445: Implicature and Pragmatic Theory

### 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