Teaching

Lecture series and mini-courses

• Formalizing Mathematics in Lean 4
  Sixth EACA International School on Computer Algebra and its Applications
  Universidade de Santiago de Compostela, 18 – 21 July 2023.
• Formalización de matemáticas en Lean
  Doctorado en Investigación Matemática
  Universidad Complutense de Madrid, 6 February – 1 March 2023.

Lecturer

Universidad Autónoma de Madrid

• Teoría de Códigos y Criptografía (Fall 2023).

Universidad Nebrija

• Matemáticas II (Spring 2021).
• Cálculo II (Spring 2021).

Boston University

• MA 226: Differential Equations (Summer 2019).
• MA 142: Introduction to Linear Algebra (Summer 2017).
• MA 242: Linear Algebra (Summer 2016).
• MA 121: Calculus for the Life and Social Sciences I (Summer 2015).

Teaching Assistant

Boston University

• MA 225: Multivariate Calculus (Spring 2019, Spring 2018, Spring 2016).
• MA 123: Calculus I (Fall 2018, Fall 2017).
• MA 113: Elementary Statistics (Spring 2017).
• MA 411: Advanced Calculus (Fall 2016).
• MA 569: Optimization Methods of Operations Research (Fall 2015).

Other

• Counselor at PROMYS for Teachers (Summer 2019, Summer 2018, Summer 2016, Summer 2015).