Faculty profile
David Mitchell
Back to facultyResearch
Read how they describe their research on their Simon Fraser University profile.
Latest funding
- $120,000
Exploiting Structure in Satisfiability-Based Problem Solving
NSERC · 2015 · Principal investigator
- $100,000
Solving combinatorial problems by grounding from specifications
NSERC · 2010 · Principal investigator
- $105,000
Effective propositional reasoning and applications
NSERC · 2005 · Principal investigator
No publications available.
Exploiting Structure in Satisfiability-Based Problem Solving
Principal investigators: Mitchell, David
Solving combinatorial problems by grounding from specifications
Principal investigators: Mitchell, David
Effective propositional reasoning and applications
Principal investigators: Mitchell, David
Proof complexity and constraint satisfaction
Principal investigators: Mitchell, David
From public funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998 with their latest competition results, the Canada Foundation for Innovation, Genome Canada, the Canadian Space Agency, Canada Research Chairs, the Fonds de recherche du Québec, Ontario research funding, Michael Smith Health Research BC, the Canadian Cancer Society, Heart & Stroke and Brain Canada.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.
Profile data last refreshed on September 29, 2026 from the university directory, publication records and public research funding records.