photo
David G. Mitchell

Automated Reasoning, Constraint Satisfaction, Knowledge Representation, Logic, Complexity
SAT, constraint satisfaction, constraint languages, grounding, combinatorial optimization
Bioinformatics, planning, van der Waerden numbers

email: lastname at cs dot sfu dot 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:
  - Publications
  - Research Program
  - Possible Thesis Topics
  - Graduate Students

Teaching:
- Spring 2014: Data Structures and Programming (CMPT-225)
- Recent courses: Satisfiability-Based Problem Solving; Data Structures and Programming; Computability and Logic; Intelligent Systems.


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