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.
- Theoretical Foundations of Computer Systems, Spring 2021. Visiting Scientist.