Mikhail Soutchanski Email: mes (at) cs (dot) ryerson (dot) ca (Warning: email sent from yahoo, hotmail and a few other popular domains may not reach my mailbox.) Office: 245 Church Street, room 275 Phone: (416) 979 5000 ext 7954 Fax: (416) 979-5064 Mailing address: 245 Church Street, ENG281 Department of Computer Science Ryerson University Toronto, Ontario, M5B 2K3, Canada

Teaching

Fall 2009 - Winter 2010:

CPS 616:   Analysis of algorithms   (Winter 2010), 3 sections, an undergraduate course.
CPS 721:   Artificial Intelligence   (Fall 2009), an undergraduate course.
CP8201 :   Computability and Logic   (Fall 2009), a graduate course.

Past courses:
CPS 305: Data Structures     (Fall 2005), 3 sections.
CPS 720.   Selected Topics in Artificial Intelligence   (Fall, 2005), 2 sections.
CPS 530: Component and Network Programming with Java (Fall 2003), 2 sections.

Research interests

• Artificial Intelligence: in particular I'm interested in Knowledge Representation and Reasoning.
• Logic-based high-level programming languages with applications to design of complex controllers for software agents and mobile robots. A Prolog interface to Sony's AIBO robots.
• Reasoning about actions in space and time;
• A logical formalization of common sense reasoning for the purposes of high-level robot control.
• Markov Decision Processes with constraints.
• Reinforcement Learning
• Execution Monitoring of high-level programs.
• Semantic Web Services.
• Some of my publications

Robotics Experience

• Hardware: I worked in the end of 1990s with a B21 robot manufactured by RWI. The control of low-level functions was provided by the BeeSoft software developed by the team from the Institute of Computer Science III at the University of Bonn for another B21 robot (called Rhino).
• The high-level control was implemented in Prolog using ECLiPSe, the ECRC constraint logic parallel system. It is developed by a team from IC PARC at Imperial College, London, UK (available from this Web page)

WWW links

• Cognitive Robotics Group at the University of Toronto.
• AI Journal.
• AI Magazine (AAAI).
• Journal of AI Research.
• Canadian Society for Computational Studies of Intelligence.
• Mathematical logic around the world
• External links to robotics pages.

Web login

Web mail

UofT CSlab Web mail

UofT CSlab remote access.