Wesley H. Holliday

(Ph.D., Stanford University). He has worked mainly in logic and social choice theory. In logic, his research has ranged over modal and nonclassical logic, logic and natural language, and logic and probability. In social choice theory, he has focused on voting theory, computational social choice, and applications of social choice to AI safety.