David Mitchell - Some Current Research Interests

My research primarily is about aspects of the following general scheme for representing and solving problems: Axiomatize the properties of (solutions to) the problem in some logic, such that models of the axioms amount to solutions of the problem, and use a model-finder for the logic in question to obtain solutions.

Back to Dr. Mitchell's Home Page