Teaching

From recent to old:

• Teaching assistant of the course "Proof Theory", taught by B. van den Berg. ILLC, UvA. Fall 2016.

• Teaching assistant of the course "Proof Theory", taught by B. van den Berg. ILLC, UvA. Fall 2015.

• Coordinator of the Master of Logic project "The presheaf approach to concurrency". ILLC, UvA. January 2015.

• Coordinator of the Master of Logic project "Introduction to Category Theory" (mini-course). ILLC, UvA. June 2015.

• Teaching assistant of the course Introduction to Modal Logic, taught by N. Bezhanishvili. ILLC, UvA. Fall 2014.

• Teaching assistant of the course "Topics in Dynamic Epistemic Logic", taught by A. Baltag. ILLC, UvA. Spring 2014.

• Teaching assistant of the course "Introduction to Modal Logic", taught by A. Baltag. ILLC, UvA. Fall 2013.

• Teaching assistant of the course "Philosophy of AI", taught by F. Veltman. ILLC, UvA. Spring 2013.