
Ph.D. candidate at University of Toronto
Toronto, Canada Area

Ph.D. candidate at University of Toronto
Toronto, Canada Area
Artificial Intelligence for Commercial Games
(Educational Institution; 10,001 or more employees; Higher Education industry)
2002 — 2007 (5 years )
Worked as a teaching assistant for the following courses.
CSC108: Introduction to computer programming (Java).
CSC228: File structures and data management (C++).
CSC236: Introduction to the theory of computation.
CSC330: Logical specifications.
SCI199: Computers and thought.
(Educational Institution; 1001-5000 employees; Research industry)
March 2002 — June 2002 (4 months)
Part of a team that developed educational software to be used by students in high school. Worked in a part related to concurrency in computer programing and developed a tool for transforming a precedence graph into a parbegin/parend scheme. Application implementation in Java.
(Educational Institution; Computer Software industry)
August 2000 — October 2000 (3 months)
Designing and applying distributed data-mining techniques to be used for incremental association rule discovery of distributed and dynamically updated databases. Implementation using mobile agents based on Java, CORBA.
Ph.D. , Computer Science, Artificial Intelligence , 2004 — 2008
M.Sc. , Computer Science, Artificial Intelligence , 2002 — 2004
Thesis title: A Feasible Approach to Disjunctive Knowledge in Situation Calculus.
Diploma , Electrical and Computer Engineering , 1997 — 2001
Diploma title: Nonmonotonic Logical Approaches for the Frame Problem in Artificial Intelligence.
Computer Science 1996 — 1997