Home














I am a PhD student pursuing a joint degree in computer science and logic at the LORIAUniversité de Lorraine and the ILLCUniversity of Amsterdam.  I am working within the ERC-funded project Epistemic Protocol Synthesis (EPS) at LORIA, CNRS - Université de Lorraine as a member of the team CELLO (Computational Epistemic Logic in LOrraine), under the supervision of Hans van Ditmarsch (LORIA), and Nick Bezhanishvili and Sonja Smets (ILLC). 

I received my MSc degree in Logic at the Institute for Logic, Language and Computation (ILLC)University of Amsterdam under the supervision of Nick Bezhanishvili and Sonja Smets. My MSc thesis was about topological semantics for belief logics and belief revision.

I obtained my BSc degree in Mathematics at Department of MathematicsBoğaziçi University and my bachelor thesis supervisor was Ali Karatay.
                                                                                                                                                           
Research interests:                 
  • modal logic, in particular, modal logics for knowledge and belief
  • dynamic epistemic logic, belief revision and belief update
  • multi-agent systems for information change 
  • formal epistemology
The core of my research lies at the intersection of epistemic planning, (dynamic) epistemic and doxastic logics and spatial/topological reasoning. 


My CV is here.