David Mitchell

Professor, Simon Fraser University
Visiting Scientist
Dates of Visit: Jan. 12May 14, 2021

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