Current teaching

• Math 480b: Introduction to Mathematical Formalization
• Math 509: Advanced commutative algebra and scheme theory

Previous courses

• Math 582A: Algebraic curves with a view toward moduli (Winter 2023)
• Math 507: Advanced commutative algebra (Fall 2022)
• Math 300: Introduction to Mathematical Reasoning (Spring 2022)
• Math 567A: Algebraic Geometry (Fall 2021)
• Math 581J: Topics in Scheme Theory (Fall 2021)
• Math 404A: Introduction to Modern Algebra (Spring 2021)
• Math 582C: Introduction to stacks and moduli (Winter 2021)
• Math 582D: Recent Hits in Algebraic Geometry (Winter 2021)
• Math 581B: Algebraic Groups I (Fall 2019)
• Math 124A/B: Calculus I (Fall 2019)
• Math 480A: Algebraic Complexity Theory (Spring 2019)
• Math 124A: Calculus I (Spring 2019)
• Math 427: Complex Analysis (Fall 2018)
• Math 124B: Calculus I (Fall 2018)
• Math 583D: Bridgeland stability (Spring 2018)
• Math 582D: Moduli of Vector Bundles (Winter 2018)
• Math 403B: Introduction to Modern Algebra (Winter 2018)
• Math 504: Modern Algebra (Fall 2017)
• Math 340: Abstract Linear Algebra (Spring 2017)
• Math 508: Advanced Commutative Algebra (Winter quarter 2016-7)
• Math 3345: Algebra 2 (Honors) -- Field Extensions and Galois Theory (Australian National University, Semester 1 2015)
• Math 1013 (Calculus component) (Australian National University, Semester 1 2013)
• Math 3346: Algebra 3 (Honors) -- Lie groups and algebras (Australian National University, Semester 2 2012)
• Algebraic curves (Universidad de los Andes, Spring 2012)
• Calculo diferencial (Universidad de los Andes, Spring 2012)
• Calculo diferencial (Universidad de los Andes, Fall 2011)
• Algebraic number theory (Columbia University, Fall 2010)
• Calculus III (Columbia University, Fall 2010)
• Calculus III (Columbia University, Fall 2008)