teaching
Teaching and tutoring experience.
Rice University
COMP 409/509: Logic in Computer Science and Artificial Intelligence
Guest Lecturer · Fall 2025
Taught four class sessions as a substitute for Moshe Y. Vardi.
University of Trento
Formal Methods / Automated Reasoning
Teaching Assistant · 2020–2025
Supported the course through teaching, student assistance, and course activities during my Ph.D.
Mathematics Tutoring
Mathematics Tutor · 2018–2022
Provided mathematics tutoring with Anneliese Defranceschi.