Multiagent systems, knowledge representation.
Computational Social Choice
My general area of expertise is the use of logic and formal methods in artificial intelligence, specifically in multiagent systems and knowledge representation. I'm specifically interested in collective decision making: how can we best aggregate the preferences and beliefs of several autonomous agents so as to arrive at a high-quality decision? Much of my work in this area is inspired by ideas originating in economics and political science.