John MacCormick is associate professor of computer science at Dickinson College and a leading teacher, researcher, and writer in his field. His books include What Can Be Computed? A Practical Guide to the Theory of Computation (Princeton).