Areas of interest
Logic-based artificial intelligence
Knowledge representation
Efficient reasoning
Education
- Ph.D. Computer Science, University of Toronto, Canada, 2002
Courses
Spring 2025
Future courses may be subject to change.
Logic-based artificial intelligence
Knowledge representation
Efficient reasoning
Future courses may be subject to change.