Experience
Education
Bio
I am a PhD student in the Formal Methods Group at the School of Computer Science, University of Manchester since October 2008. My supervisor is Dr Ian Pratt-Hartmann. I completed an MSc degree in Logic and Applications and a BSc degree in Informatics at the Faculty of Informatics, Sofia University, Bulgaria. The topic of my research project in the MSc course was modal logics for mereotopological relations, for which my supervisor was Professor, Dr. Habil Dimitar Vakarelov.

Currently I am working on the computability of mathematical logics for reasoning about geometrical entities and relations, known as spatial logics. I am particularly interested in spatial logics whose variables are interpreted as subset of a Euclidean space, and whose non-logical primitives are interpreted as Boolean, topological and Euclidean properties, relations and operations.