Wesley H. Holliday

(Ph.D., Stanford University). He has worked mainly in formal philosophy and logic, especially modal logic, intuitionistic logic, epistemic logic and epistemology, logic and natural language, logic and probability, and logic and social choice theory. His recent research includes voting theory and computational social choice.