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.

Program Visits