Laboratory Affiliation: Computational Logic Laboratory
Research
Teaching:
CMPT-225;
CMPT-701
Possible Thesis Topics
Graduate Students
Publications
Recent Funding
Program Committees -
Current:
AAAI 2010, SAT 2010, LaSh 2010 (organizer)
and Recent:
ISAIM 2010;
IJCAI 2009;
SAT 2009,
CP 2009,
SFU CS Faculty Page
SFU Computing Science Home Page
SFU Home Page