I work on topics in theoretical computer science, mathematical logic, artificial intelligence, social choice and so on. More generally, I am interested in using mathematical tools to study epistemological questions, such as, what can be known? I have a strong affinity for mathematical philosophy and I like to think that some of my research is a part of it.
An up-to-date list of my research papers is mantained at Google Scholar