Teaching

Supervision

·       Supervisor of "Bachelor Thesis A.I. (KI3V12012)", 15EC, terms 3-4 2022, Utrecht University.

Teaching 

·       “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.