معرفی
David G. Mitchell is an Associate Professor in the Department of Computing Science at Simon Fraser University (SFU). He is part of the School of Computing Science and affiliated with the Computational Logic Laboratory. His research focuses on propositional satisfiability (SAT) and finite domain constraint satisfaction (CSP), exploring their complexity and practical algorithm design for applications in formal verification and related tasks.
Education:
- Ph.D., Computer Science, University of Toronto, 2002
- M.Sc., Computing Science, Simon Fraser University, 1993
- B.Sc., Cognitive Science and Artificial Intelligence, University of Toronto, 1989
Research Interests: Mitchell's work bridges mathematical logic and computer science, emphasizing SAT-based problem solving, constraint modeling languages, and automated reasoning. His contributions include advancements in clause learning, resolution complexity, and declarative programming frameworks for solving NP problems. He has developed tools like MXC and Enfragmo, which apply SAT techniques to real-world applications.
Students: Mitchell has advised numerous graduate students, including current PhD candidates Mona Mehdizadeh and Sima Jamali, and past advisees such as Sahba Etezad, Heng Liu, and Faraz Hach. His students' work spans algorithm optimization, constraint satisfaction, and formal verification.
Labs/Teams: He is a member of the Computational Logic Laboratory at SFU, contributing to research in logic-based problem-solving and algorithm development.
