(Ph.D., Stanford University). He has worked mainly in formal philosophy and logic, especially modal and nonclassical logic, logic and natural language, logic and probability, and logic and social choice theory. His research on voting theory and computational social choice led to the creation of StableVoting.org.