David G. Mitchell
Associate Professor, School of Computing Science
Contact:
Tel: |
778.782.6673 |
Email: |
mitchell@cs.sfu.ca |
Fax: |
778.782.3045 |
Office: |
SFU Burnaby, TASC 9007 |
Personal webpage: www.cs.sfu.ca/~mitchell/ |
Education
Ph.D., Computer Science, University of Toronto, Canada, 2002
M.Sc., Computing Science, Simon Fraser University, Canada, 1993
B.Sc., Cognitive Science and Artificial Intelligence, University of Toronto, Canada, 1989
Research interests
- Propositional satisfiability and finite domain constraint satisfaction results on the complexity of these problems aspects of design of practical algorithms for SAT and CSP application to formal verification and related tasks
Recently taught courses
- CMPT 225 Data Structures and Programming
- CMPT 417 Intelligent Systems
- CMPT 701 Computability and Logic
Selected recent publications
For publications visit www.cs.sfu.ca/~mitchell/publications.html.
Listing on the DBLP CS Bibliography Server.