PhD thesis "Computability of Euclidean Spatial Logics" awarded Best Thesis Prize

Yavor Nenov's PhD thesis "Computability of Euclidean Spatial Logics" has been awarded the Best Thesis Prize of the School of Computer Science at the University of Manchester. 

The award is given every year for the best dissertation in Computer Science for which a PhD has been awarded at the University of Manchester. 

The dissertation is a study on formalisms for representing and reasoning with spatial knowledge with a focus on the computational properties of reasoning about regions in Euclidean spaces. The thesis is available on the Yavor's webpage.  

After receiving his PhD, Yavor became a research assistant within the Knowledge Representation and Reasoning group of the Department of Computer Science at Oxford University.