Vaishak Belle

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.


belle “at”


Room 6201,

Ahornstr. 55, D-52056 Aachen, Germany


Ph: (+49) 241 80 21 504

Fax: (+49) 241 80 22 321

Visiting Hours

After 1600 (Mo - Fr).

Areas of Interest

Reasoning about knowledge and uncertainty

Knowledge representation

Artificial Intelligence

Database theory and related aspects of Computational Complexity

Model checking and satisfiability

Game playing

Machine learning