2017 Fall: | (Graduate) Mathematical Logic [Math 570] |
2017 Fall: | (Honors) Fundamental Mathematics: Intro to Proofs [Math 347H] |
2017 Spg: | (Graduate) Real Analysis [Math 540] |
2017 Spg: | Set Theory and Topology [Math 432] |
2016 Fall: | (Graduate) Model Theory [Math 571] |
2015 Fall: | (Graduate) Mathematical Logic [Math 570] |
2015 Fall: | Fundamental Mathematics [Math 347] |
2015 Spg: | (Graduate) Topics "Classification in Ergodic Theory" [Math 595] |
2014 Fall: | (Graduate) Mathematical Logic [Math 570] |
2014 Fall: | Elementary Real Analysis [Math 444] |
2014 Spg: | (Graduate) Descriptive Set Theory [Math 574] |
2013 Fall: | Applied Linear Algebra [Math 415] |
2011 Fall: | Multivariable Calculus (Honors) [Math 32AH] |
2017, May 5–11: | The 15^{th} Annual Spring Institute: Noncommutative Geometry and Operator Algebras, Vanderbilt University |
Course: Countable Borel equivalence relations, ergodicity, and turbulence | |
2016, Jun 6–10: | Undergraduate Summer School within Thematic Program on Model Theory, University of Notre Dame |
Course: Introduction to Model Theory Ⅱ | |
2013, Jul 14–Aug 3: | UCLA Undergraduate Logic Summer School 2013, UCLA Logic Center |
Course: Descriptive Set Theory | |
2012, Jun 24–Jul 14: | UCLA Undergraduate Logic Summer School 2012, UCLA Logic Center |
Course: First Order Logic and Gödel's Incompleteness Theorem |