For contact information please use the menu on the left.

Mehmet's timeline:

• Born, grew up and went to school in Kyrenia and Nicosia, Cyprus
• Got BSc in mathematics from Hacettepe University, Ankara, Turkey
• Worked as a research assistant in the Department of Mathematics, Hacettepe University, Ankara, Turkey
• Got MSc in mathematical logic from the Institute of Logic, Language and Computation, University of Amsterdam, The Netherlands
• Worked as a research assistant in the Department of Fundamentals of Artificial Intelligence, University of Freiburg, Germany
• Got PhD in computer science from the University of Freiburg, Germany

Research interests:

• General knowledge representation and reasoning with logics, especially modal logics
• Qualitative and quantitative spatial reasoning with logics for topological spaces, metric spaces, measure spaces, trigonometry and mereotopology
• Theoretical properties of propositional, intuitionistic, first-order and modal logics: decidability, computational complexity and axiomatics of logics

Recent work (2013):

• Submitted: Logics for Reasoning with Comparative Distances (pre-print available)