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