People > Faculty > Professors & Lecturers

photo

David G. Mitchell, Associate Professor of Computing Science


Area: Constraint satisfaction
         propositional proof complexity
         automated reasoning

Email: mitchell@cs.sfu.ca
Home Page: http://www.cs.sfu.ca/~mitchell/

Office: TASC 9007
Phone: +1.778.782.6673
Fax: +1.778.782.3045

Biography

Education

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

Work History

Assistant Professor in the School of Computing Science at Simon Fraser University

Research Interests

Propositional satisfiability and finite domain constraint satisfaction (and variants and
generalizations)
results on the complexity of these problems
aspects of design of practical algorithms for SAT and CSP
application to formal verification and related tasks
I'm especially interested in the applications of results in propositional proof complexity to the design and analysis of search algorithms for SAT and CSP, and in particular for attacking challenging families of application instances.

Publications

Local Listing

Listing on the DBLP CS Bibliography Server

Home Page