Email (best way to reach me): mes (at) cs (dot) ryerson (dot) ca
(Warning: sometimes email may not reach my mailbox due to spam filters.
Usually, I read all email and reply as many as I can.)
Skype: time for a talk is to be arranged by email.
245 Church Street, room 275 (NE corner, the 2nd floor)
Computer Science is located in George Vari ENG building.
Phone: (416) 979 5000 ext 7954 (leave voicemail)
Fax: (416) 979-5064
Ms. Lori Fortune (416) 979-5000 ext.7411
or Ms. Lucia Flaim (416) 979-5000 ext.6977
245 Church Street, ENG281
Department of Computer Science
Toronto, Ontario, M5B 2K3, Canada
"In theory, theory and practice are the same. In practice, they are not."
Digital Computation and Programming , an undergraduate course.
CP8314 (Advanced AI) / CPS822
Artificial Intelligence 2:
Dynamic Systems in Artificial Intelligence.
A graduate / advanced undergraduate course.
Artificial Intelligence 1 , an undergraduate course.
Analysis of algorithms , an undergraduate course.
Undergraduate Thesis , a two-term research oriented course.
Directed Studies in Computer Science (Fall 2012),
a graduate course.
Algorithms and Computability, a graduate course.
Foundations of Semantic Technologies
(Winter 2011), an undergraduate/graduate course.
a calendar description for a new course CPS603.
Selected Topics in Artificial Intelligence
CPS 530: Component and Network Programming with
Java (Fall 2003).
Artificial Intelligence: in particular, I'm interested in
Knowledge Representation and Reasoning.
Reasoning about actions and events in
space and time. Recently, my work concentrates on developing
modular and taxonomic representations that can facilitate implementing
large-scale logical theories for reasoning about effects of
actions/events. These representations have to guarantee
decidability and, when possible, computational efficiency of this
reasoning. One of the computational tasks is to reason
about a sequence of actions/events when their participants and
properties of interests are characterized using terms defined in
ontologies. The meaning of these terms is static and does not
change after executing actions, but actions can have effects
on dynamic properties of an application domain.
- Multi-disciplinary research: Artificial Intelligence and Natural Sciences.
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. Execution Monitoring of high-level programs.
Logical formalizations of common-sense reasoning with applications to
high-level robot control.
Some of my