School of Computing Science

Simon  Fraser University

 
 

I am an Associate Professor of Computing Science, working in the area of Computational Logic.  My main research interests are in the area of Logic-based AI, Knowledge Representation and

Efficient Reasoning.  I also have a strong interest in Descriptive Complexity and Formal Verification.


I obtained my PhD in 2002 in Artificial Intelligence under the supervision of Ray Reiter (1939-2002).

 

Welcome to my site

Associate Professor

Computational Logic

 

  1. •Co-Chair (with Tommie Meyer), NMR’2010, May 14-16, Toronto, Canada.

  2. •Program committee member, LPNMR 2009.