Stavros Vassos

I am a PhD student at the department of Computer Science in the University of Toronto. I am part of the Cognitive Robotics group and my advisor is Hector Levesque.

I completed my MSc in the University of Toronto under the supervision of Hector Levesque. I did my Diploma in Electrical and Computer Engineering in the National Technical University of Athens.

For my PhD I have been involved with proving theoretical results about progression in the situation calculus and providing practical solutions for dealing with incomplete knowledge in a way that is tractable. I am also an active developer of the high-level agent programming language IndiGolog and I pursue applications to robotic and software agents.

In particular I am interested in applications of knowledge representation and reasoning to computer/video games. You can check the sections ai4games and games4ai for a brief discussion on the challenges and opportunities that lie in this area. You can find a somewhat detailed list of my research interests in the section research.

You can find details about my publications and talks in the section publications.

You can contact me at or through the social networks listed at the end of this page.