photo
David G. Mitchell

Logic and complexity
SAT, constraint satisfaction, constraint languages, grounding, combinatorial optimization
Bioinformatics, planning, van der Waerden numbers

email: mitchell@cs.sfu.ca

Associate Professor of Computing Science

PhD, Computer Science, University of Toronto.
MSc, Computing Science, Simon Fraser University.
BSc, Cognitive Science and Artificial Intelligence, University of Toronto.

Laboratory Affiliation: Computational Logic Laboratory

Research
Possible Thesis Topics
Graduate Students
Publications
Recent Funding
Current Program Committees: IJCAI 2009, SAT 2009 (submission Mar. 20), CP 2009 (submission Apr. 27),

SFU CS Faculty Page
SFU Computing Science Home Page
SFU Home Page