Classes I have taken at CMU
Fall 2011
- 10-601 Machine Learning (Instructor: Tom Mitchell)
- 15-814 Type Systems for Programming Languages (Instructor: Robert Harper)
- 21-602 Introduction to Set Theory (Instructor: Ernest Schimmerling)
- 21-603 Model Theory I (Instructor: Rami Grossberg)
Spring 2012
- 21-700 Mathematical Logic II (Instructor: Peter Andrews)
- 21-702 Set Theory II (Instructor: Ernest Schimmerling)
- 21-703 Model Theory II (Instructor: Rami Grossberg)
- 21-800 Large Cardinals and Infinite Games (Instructor: James Cummings)
Fall 2012
- 21-651 General Topology (Instructor: Dejan SlepĨev)
- 21-701 Walk through Combinatorics (Instructor: Boris Bukh)
Spring 2013
- 21-624 Descriptive Set Theory (Instructor: Ernest Schimmerling)
- 21-640 Introduction to Functional Analysis (Instructor: Bill Hrusa)
- 21-803 Model Theory III (Instructor: Rami Grossberg)
Fall 2013
- 21-715 Commutative Algebra (Instructor: James Cummings)
- 15-855 An Introduction to Computational Complexity Theory (Instructor: Steven Rudich)