<Personal Website of Mehmet Giritli>
Mode:
Basic
|
Normal
•
Language:
English
†
|
Türkçe
•
Feeds:
Website Feed
Homepage
Contact
Lectures
Personal
Publications
Programming
Search
Weblog
Family
Website uses Valid XHTML 1.0 Strict
Website uses Valid CSS
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
)
↑