Teaching

University of Cambridge

Lecturer

• Denotational Semantics (Michaelmas 2025)

Supervisor

• Discrete Mathematics (Michaelmas 2024)
• Logic and Proof (Lent 2025)
• Logic and Proof (Lent 2024)
• Computation Theory (Lent 2023)
• Logic and Proof (Lent 2023)
• Logic and Proof (Lent 2022)
• Discrete Mathematics (Michaelmas 2021)
• Discrete Mathematics (Michaelmas 2020)

University of Maryland

Grader

• Math 606: Algebraic Geometry I, (Fall 2020)
• Math 712: Logic I (Fall 2020)
• Math 446: Axiomatic Set Theory (Spring 2019)
• Math 403: Introduction to Abstract Algebra (Spring 2019)

Teaching Assistant

• Math 115: Precalculus (Spring 2020)
• Math 140: Calculus I (Fall 2018)
• Math 115: Precalculus (Spring 2018)

Instructor

• Math 113: College Algebra with Trigonometry (Fall 2017)

University of Crete

Undergraduate Teaching Assistant

• MEM-103: Foundations of Mathematics (Spring 2016)
• MEM-103: Foundations of Mathematics (Spring 2014)