I’m a Ph.D. Candidate in Computer Science, funded by the German research foundation and the BIT Scholarship. Previously, I graduated with two Masters’ degrees as a EUMI scholar.

In general, my research interests lie in the theoretical foundations of logical formalisms that model, and in some ways deal with, incomplete information in the real world.

For my Ph.D. I have been investigating two different aspects when computing projection in the framework of the situation calculus. On the one hand, I’m interested in extending the existing work regarding the progression of basic action theories to more expressive fragments of first-order logic. On the other hand, I’m interested in reasoning with incomplete knowledge bases, especially in the context of multiple players and its applications to game playing.

For my Masters, I worked on the applicability of random forests to object and face recognition. I also interned on web ontology, formal security and image processing. Some code of this can be found on the webpage.