David Mitchell
Professor, Simon Fraser University
David Mitchell is an associate professor in the School of Computing Science at Simon Fraser University. His research interests are in applications of mathematical logic to declarative problem solving and programming. His main interests are in satisfiability testing, model theory of constraint modelling languages and solvers, and computational applications of interpretations.