I am a PhD recently graduated from the Dept. of Computer Science at University of Toronto (UofT). My supervisor at UofT is Dr. H. Levesque and my thesis advisor is Dr. M. Soutchanski. I got a M.S. degree in computer science at University of Toronto, and Dr. R. Reiter was my supervisor and thesis advisor. I also got a M.S. degree and B.S. in Mathematics at Nanjing University. |

My major is Artificial Intelligence, in particular, the area of knowledge representation and reasoning. My PhD research topics focus on representing features of a dynamic environment properly and reasoning about the effects of actions more efficiently. I am also interested in description logics, semantic web services, modal logic, ontology, and applications of KR and logical techniques to other related areas.

**THESES**

**Gu, Y.**, Dept. of Computer Science, University of Toronto, Ph.D. thesis: A*dvanced Reasoning about Dynamical Systems*. September 2010. Supervisor: Hector Levesque. Thesis advisor: Mikhail Soutchanski. [.ps | .pdf]**Gu, Y.**, Dept. of Computer Science, University of Toronto, master thesis:*Handling Uncertainty System in the Situation Calculus with Macro-actions.*September 2002. Supervisor and thesis advisor: Raymond Reiter. [.ps | .pdf | Presentation slides]**Gu, Y.**, Dept. of Mathematics, Nanjing University, master's thesis:*The Algorithms of Reconstructions of the Open Logic.*June 1999. Supervisor and thesis advisor: Decheng Ding.

**JOURNAL ARTICLES**

**Gu, Y.**and Soutchanski, M.,*A Discription Logic Based Situtation Calculus*, Annals of Mathematics and Artificial Intelligence journal, Volume 58, Numbers 1-2, pages 3-83, DOI 10.1007/s10472-010-9176-z, Feburary 2010. Available at HTTP: http://www.springerlink.com/content/hr0m7q4h16210365/

**CONFERENCE PUBLICATIONS**

**Gu, Y.**and Soutchanski, M.,*Order-Sorted Reasoning in the Situation Calculus*, in the Proceedings of the 9^{th}International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), pp.65-72, 2009. [Abstract | .pdf]This paper is also published by "Digital Commons @ Ryerson" on May 4, 2009, as

*A Logic of Actions Revisited*, Technical Reports, Paper 1.A revised and improved version is published in the book ``Knowing, Reasoning, and Acting: Essays in Honor of Hector J. Levesque", edited by Gerhard Lakemeyer and Sheila A. McIlraith, College Publications, 2011, ISBN-10: 1848900449.

**Gu, Y.**and Soutchanski, M.,*Reasoning about Large Taxonomies of Actions*, in the Proceedings of the 23^{rd}AAAI Conference on Artificial Intelligence (AAAI-08), pp. 931-937, 2008. [Abstract | .ps | .pdf | Presentation slides]**Gu, Y.**and Soutchanski, M.,*Decidable Reasoning in a Modified Situation Calculus*, in the Proceedings of the 20^{th}International Joint Conference on Artificial Intelligence (IJCAI-07), pp.1891-1897, 2007. [pdf | Presentation slides](Also published in the Proceedings of the 8

^{th}International Symposium on Logical Formalizations of Commonsense Reasoning, 2007.)**Gu, Y.**and Soutchanski, M.,*The Two-variable Situation Calculus*, in the Proceedings of the third European Starting AI Researcher Symposium (STAIRS-07), pp.144-161, 2006. [.ps | .pdf | Presentation slides]**Gu, Y.**,*On the Algorithms of Reconstructions of the Open Logic*, in the Proceedings of the Sixth Asian Logic Conference (Vol. 2), 35 - 47, 1998.

**WORKSHOP PUBLICATIONS**

**Gu, Y.**,*Reasoning about Dynamical Systems*, in the Proceedings of Grace Hopper Celebration of Women in Computing 2008 (PhD Forum), 2008. [Abstract | .pdf]**Gu, Y.**and Soutchanski, M.,*Modular Basic Action Theories*, in the Proceedings of the 7^{th }IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change, pp.73-78, 2007. [.ps | .pdf | Presentation slides]**Gu, Y.**and Soutchanski, M.,*A Logic for Decidable Reasoning about Services*,” in the Proceedings of ECAI-06 workshop on AI-Driven Technologies for Composition Services, 2006. [.ps | .pdf | Presentation slides](Also published in the Proceedings of AAAI-06 workshop on AI-Driven Technologies for Services-Oriented Computing, 2006.)

**Gu, Y.**and Kiringa, I.,*Model Checking Meets Theorem Proving: a Situation Calculus Based Approach*, in the Proceedings of the 11^{th}International Workshop on Nonmonotonic Reasoning, Action, and Change, 2006. [Abstract | .ps | .pdf]**Gu, Y.**and Kiringa, I.,*A Situation Calculus Based Approach for Model Checking*, poster publication at NESCAI2006: North East Student Colloquium on Artificial Intelligence, 2006. [Presentation slides]**Gu, Y.**,*Macro-actions in the Situation Calculus*, in the Proceedings of IJCAI’03 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC-03), 2003. [Abstract | .ps | .pdf | Presentation slides]

I served as teaching assistants for over 16 courses (including several graduate courses) in the past ten years at various universities. I also ever worked as an instructor for several undergraduate computer science courses. In order to improve my teaching skills, I also attended THE500 (Teaching in Higher Education) in the winter term of 2009. Here are some courses I have taught.

**COURSE
INSTRUCTORS**

**Responsibilities:**
conducting lectures, holding office hours, preparing tutorial
materials, assigning TA jobs, designing assignments and exams.

1.
Dept. of Computer Science, **University of Toronto**, Sept. 2009
-- Dec. 2009

Course: __CSC324__
Principles of
Programming Languages

Course: __CSC326__
Programming
Languages

2.
Dept. of Computer Science, **University of Toronto**, May 2006 --
Aug. 2006

Course: __CSC165__
Mathematical
Expression and Reasoning for Computer Science

**TEACHING
ASSISTANTSHIPS**

**Responsibilities:**
conducting tutorials, holding office hours, leading lab sessions,
designing assignment questions, grading assignments & exams.

1.
Department of Computer Science, **University
of Toronto** (St. George Campus) Sept.2000 --
present

__CSC104__ The
How and Why of Computing (2002 Winter)

__CSC209__
Software Tools and Systems Programming (2002 Fall, 2004 Winter)

__CSC236__
Introduction to the Theory of Computation (2004 Fall, 2006 Winter)

__CSC238__
Discrete Mathematics for Computer Science (2000 Fall, 2002 Summer)

__CSC270__
Fundamental Data Structures and Techniques (2001 Summer)

__CSC364__
Computational Complexity and Computability (2003 Summer)

__CSC465__/__CSC2104__
Formal Methods of Program Design [**graduate
course**] (2001 Fall, 2003
Fall)

__CSC2509__ Data
Management Systems [**graduate
course**] (2003 Winter)

2.
Dept. of Computer Science, **University of Toronto** (Scarborough
Campus) Sept. 2004 -- May 2007

__CSCA02__ The
How and Why of Computing (2004 Fall, 2005 Winter, 2005 Fall, 2006
Fall, 2007 Winter)

3.
Dept. of Computer Science, **University of Toronto** (Mississauga
Campus) Jan. 2002 -- Jan. 2009

__CSC104__ The
How and Why of Computing (Fall 2008)

__CSC354__
Systems Modeling and Discrete Simulation (2002 Winter)

4.
Department of Applied Computer Science, **Ryerson University**,
Sept. 2003 -- Fall 2009

__CP8201__
Computability and Logic [**graduate
course**] (2008 Fall)

__CPS616__**
**Analysis
of Algorithms (2007 Winter)

__CPS720__**
****Selected
Topics in Artificial Intelligence (2003 Fall)**

__CPS721__**
****Artificial
Intelligence (2004 Winter, 2006 Fall)**

5.
Dept. of Mathematics, **Nanjing University**, Sept. 1996 --
Aug. 1999

__Mathematical
Analysis__**
****(1996
Fall, 1998 Fall) **

__Linear
Algebra__**
****(1997
Fall)**

I was a member of the Cognitive Robotics (COGROBO) group at University of Toronto, attending group meetings and seminars regularly. I also regularly attended ontology seminars and the group meetings of the Semantic Technologies Laboratory led by Dr. Michael Gruninger in Department of Mechanical and Industrial Engineering at University of Toronto. I served as a volunteer and paper reviewer for several international conferences/workshops and as a PC member for Commonsense2011 before. I also attended other research groups and projects in the past. For instance, I was a research member of the National 863 Project on Tractable Problem in Computer Logic when I was in China. Check out my CV for detailed information.

· Tools:

o Citeseer

· Research Groups, etc.

o The Semantic Technologies Laboratory

Yilan Gu © 2011, University of Toronto