[Warning: Page currently under construction]

Hojjat Ghaderi

Department of Computer Science
University of Toronto
10 King's College Road
Toronto, ON M5S 3G4, Canada

E-mail: hojjatcs[dot]toronto[dot]edu

Office Phone: +1 (416) 978 6986

FAX: +1( 416) 978 1931

WWW: http://www.cs.toronto.edu/~hojjat/

I am a Ph.D candidate in the Department of Computer Science, University of Toronto with Prof. Hector Levesque and Prof. Yves Lespérance; working on a logical formalization of coordination and joint ability in multi-agent systems. I am a member of the Knowledge Representation and Cognitive Robotics groups since 2000 and did my Master's degree with the late Prof. Raymond Reiter in 2002 on efficient reasoning in the stochastic situation calculus.

Research Interests Teaching Publications CV (available upon request)

Research interests

My research interests are knowledge representation and reasoning, reasoning about actions and change, multiagent systems, coordination of coalition of agents, commonsense reasoning, and logical foundations of game theory.

Publications

Hojjat Ghaderi and Hector Levesque and Yves Lespérance, "A Logical Theory of Coordination and Joint Ability", In Proc. of AAAI'07, 421-426 ,Vancouver, BC, July, 2007.

Hojjat Ghaderi and Hector Levesque and Yves Lespérance, "Towards a logical theory of coordination and joint ability", In Proc. of the 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS’07 (Poster), 532-534, Hawai'i, USA, May 2007.

A short version the above paper was one of 17 papers worldwide accepted for presentation in the Doctoral Symposium of the 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'07) , Hawai'i, USA, May 2007.

Hojjat Ghaderi and Hector Levesque and Yves Lespérance, "A logical theory of coordination and joint ability", The 8th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense’07), Stanford University, USA, March 2007.

Hojjat Ghaderi, "Handling initial uncertainty in the Stochastic Situation Calculus", MSc thesis, Department of Computer Science, University of Toronto, August 2002.

Teaching

Instructorship:
- I am currently teaching:
  - Winter 2008: Computer Programming (APS101), University of Toronto.
- Courses that I have taught before:
  - Fall 2006: Introduction to Artificial Intelligence (CSC384), University of Toronto.
  - Summer 2007: Introduction to Computer Science (CSC148), University of Toronto.
  - Winter 2007: Introduction to Computer Programming (CSC108), University of Toronto.
  - Fall 1999: Foundations of Computer Science, Sharif University of Technology.
  - Winter 1998: Introduction to Computer Fundamentals, Sharif University of Technology
  - Fall 1996, Winter 1997: Introduction to Computer Programming, Sharif University of Technology
Teaching Assistantship:
- CSC324 (Principles of Programming Languages), UofT, Fall 2002 - Winter 2006 (8 semesters).
- CSC108 (Introduction to Computer Programming), UofT, Winter 2003.
- CSC270 (Algorithms and Data Structures), UofT, Fall 2000 - Winter 2002 (4 semesters).
- CSC209 (Software Tools and Systems Programming), UofT, Winter 2001.
- CSC238 (Discrete Mathematics for Computer Science), UofT, Summer 2003 and Summer 2002.
- ECE242 (Algorithms and Data Structures), UofT, Winter 2001 - Winter 2004 (7 semesters).
- Artificial Intelligence, Sharif University of Technology, 1997 and 1998.

Back to the top