Home
## Notable Course History

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

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