Education

Ph.D. in Computer Science and Logic

Sep 2014 – Dec 2017

I defended my Ph.D. in Dec 2017 under the supervision of Hans van Ditmarsch and Helle Hvid Hansen, in LORIA, France. My Ph.D. disseratation, The dynamics of incomplete and inconsistent information: Applications of logic, algebra and co-algebra, studies reasoning about information change in the presence of incomplete or inconsistent information, and the characterization of notions of bisimulation on models encoding such reasoning patterns.

M.Sc. in Pure Mathematics

Sep 2012 – Sep 2014

I was enrolled in a two years master program in Pure Mathematics. The program includes 3 semester of courses in mathematics/computer science and 1 semester of the thesis. In my master thesis, I have worked on the applications of algebra, coalgebra, and category theory in modal logic.

B.Sc. in Applied Mathematics

Sep 2007 – Sep 2012

I was enrolled in a four years program in Applied Mathematics. In my final project, I have worked on the “Pseudo Eculidian Modal Formulas”