About me

I am a PhD student at the project Logic and Automata: a Coalgebraic perspective at the Institute for Logic, Language and Computation ( ILLC ),  University of Amsterdam. My supervisor is Prof. Yde Venema and the project is funded by  The Netherlands Organization for Scientific Research (NWO). My current main research areas are  Coalgebraic Modal Logic and Coalgebraic Automata Theory . In addition to these topics, I'm also interested in Category Theory and its applications to Logic.

Before coming to the ILLC , I spent 2 years doing a Master of Mathematics at University of Tehran (Tehran, Iran), where I also did my Bachelor in Mathematics.

Teaching

• Fall 2014 

 Teaching Assistant of Capita Selecta in Modal Logic, Algebra and Coalgebra, ILLC, University of  Amsterdam. 

• Winter 2014

 Teaching Assistant of Model Theory, ILLC, University of Amsterdam.

• Fall 2013

 Teaching Assistant of Capita Selecta in Modal Logic, Algebra and Coalgebra, ILLC, University of  Amsterdam. 

• Winter 2012

Teaching Assistant of Model Theory, ILLC, University of Amsterdam.

• Fall 2012

Teaching Assistant of Proof Theory , ILLC, University of Amsterdam.

• Fall 2010

 Teaching Assistant of  Logic for Computer science , Department of Math. Statistics and Computer Science, University of Tehran.

• Spring 2010

Teaching Assistant of  Mathematical Logic , Department of Math. Statistics and Computer Science, University of Tehran. 

Teaching Assistant of  Algebra I ,  Department of Math. Statistics and Computer Science, University of Tehran. 

• Geen nevenwerkzaamheden