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)