- Ph.D., Computer Science, June 2005
Graduate Center of the City University of New York, New York, NY
Thesis: Topics in Social Software: Information in Strategic Situations
- M.S., Mathematics, May 2000
Case Western Reserve University, Cleveland, OH
- B.S., Mathematics, June 1998
Ohio University Honors Tutorial College, Athens, OH
- Tilburg University, Department of Philosophy and Center for Logic and Philosophy of Science, Assistant Professor, 2009 - present
- Stanford University, Philosophy Department, Acting Assistant Professor, 2008 - 2009
- Stanford University, Computer Science Department, Postdoctoral Researcher, 2007 - 2008
- University of Amsterdam, Institute for Logic, Language and Computation, Postdoctoral Researcher, 2005 - 2007
- Brooklyn College, Computer Science Department, Adjunct Lecturer, 2000 - 2005
- New York University, Philosophy Department, Part-time Lecturer, Spring 2003
- My main research interests include logic (especially modal logic), formal epistemology, foundations of game theory and social choice theory, connections between logic and games, and fair division. See my publications page for more information.
- I have taught a number of courses at the graduate and undergraduate level in both computer science and philosophy. See my teaching page for more information.
- NWO Vidi Grant, Foundations of Social Procedures (Humanities Division), Principal Investigator, 720,000 EUR (including matching funds from Tilburg), 2009 - 2014.
- National Science Foundation International Research Fellowship, OISE 0502312, (2007-2008)
- University Fellowship, City University of New York (2002 - 2005)
- Science Fellowship, City University of New York (2001 - 2002)
- Case Western Reserve University Graduate Fellowship (1998 - 2000)
- Stockard Mathematics Scholarship, Ohio University (1998)
- Referee: Synthese; Journal of Logic and Computation; Journal of Philosophical Logic; SIAM Journal of Discrete Mathematics; Journal of AI Research; International Journal of Game Theory; Review of Symbolic Logic; European Science Foundation; Journal of Applied Nonclassical Logic; Journal of Logic, Language and Information
- Organizing: ESSLLI Workshop: Logic, Rationality and Intelligent Interaction, August 2010; Logics of Rational Interaction (LORI 2009), October, 2009; Theoretical Aspects of Rationality and Knowledge (TARK 2009), July 2009, Local Organizing Chair; Workshop on Intelligent Interaction, August 2008 (with Johan van Benthem); Epistemology meets Logic, Informally, May 2008 (with Tomohiro Hoshi and Assaf Sharon); Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning, May 2007 (with Benedikt Loewe and Jan-Willem Romeijn); Workshop on Logics for Social Situations, December 2006 (with Johan van Benthem); Coordinated (with Rohit Parikh) the Knowledge, Games and Beliefs group of CUNY, 2001 - 2005
- PC Member: AAMAS 2006 (Fifth International Joint Conference on Autonomous Agents and Multiagent Systems); ECAI 2006, 2010 (European Conference on Artificial Intelligence); SOFSEM 2007 (Current Trends in Theory and Practice of Computer); COMSOC-2006 (1st International Workshop on Computation Social Choice); AAMAS 2007 (Sixth International Joint Conference on Autonomous Agents and Multiagent Systems), AAAI 2008,2010 (AAAI Conference on Artificial Intelligence), DGL 2008, 2010 (Workshop on Decisions, Games and Logic), TARK 2009 (Theoretical Aspects of Rationality and Knowledge) LOFT 2010 (Logic and the Foundations of Decision and Game Theory).
- Masters Thesis Supervisor: Tijmen Daniels, Social Choice and Logic via Simple Games; Johathan Zvesper (with Krister Segerberg), A Revised Version: Belief Revision and Epistemic Acts; Can Baskent, Topics in Subset Space Logic; Lena Kurzen (with Ulle Endriss), Logics of Cooperation and Preference; Lorenz Demey