Supervision
· Supervision of five research projects for final year masters students, University of Bath.
· Supervisor of "Bachelor Thesis A.I. (KI3V12012)", 15EC, terms 3-4 2022, Utrecht University.
Teaching
· “Cryptography (CM30173/CM50210)”, for bachelor and master students, (with James Laird), University of Bath, 2nd semester 2025.
· “Logic and Computation (WBMV13005)”, for Master Students in AI, (together with R. Iemhoff), Utrecht University, Winter 2023.
· “Logic and Computation (WBMV13005)”, for Master Students in AI, (together with R. Iemhoff and A. Tabatabai), Utrecht University, Winter 2022.
· “Logic and Computation (WBMV13005)”, for Master Students in AI, (together with R. Iemhoff and A. Tabatabai), Utrecht University, Winter 2021. course link
· “Foundation of Combinatorics”, Tehran University, Spring 2014.
Teaching assistantship
· "Modal Logic for AI (KI3V19001)", Utrecht University, Fall 2020.