TiasNimbas Business School
My research focuses on mathematical and philosophical logic (especially modal logic), formal epistemology and foundational issues in game theory. I am also interested in voting theory and social choice theory. See my website for more information.
Ph.D. Computer Science, 2005
Graduate Center of the City University of New York
New York City, New York
Thesis Title: Topics in Social Software: Information in Strategic Situations
Thesis Supervisor: Rohit Parikh
Masters Mathematics, 2000
Case Western Reserve University
B.S. Mathematics, 1998
Ohio University Honors Tutorial College
I am currently a resident fellow at the Tilburg Center for Logic and Philosophy of Science (TiLPS) and assistant professor in the Department of Philosophy at Tilburg University. During my Ph.D. studies, I worked as an adjunct lecturer in the Department of Computer Science at Brooklyn College (2000 - 2005). After three years of postdoctoral research at the Institute of Logic, Language and Information at the University of Amsterdam (2005 - 2007) and the Department of Computer Science at Stanford University (2007-2008), I spent a year as a visiting assistant professor at the Department of Philosophy at Stanford University (2008 - 2009).
Direct and indirect funding
NWO Vidi Grant 016.094.345: A Formal Analysis of Social Procedures (Humanities Division), Principal Investigator, 720,000 EUR (2009 - 2014).
Editorial Board: Stanford Encyclopedia of Philosophy, Logic, Agency and Computation section.
Selected Invited Lectures
Teaching activities elsewhere
I have extensive experience teaching logic at both the undergraduate and graduate levels (Consult my teaching page for a complete list of my courses):
Stanford University: First-order Logic, Logic and Computation, Model Theory, Logics for Rational Interaction (with Yoav Shoham), Can machines think? Can machines feel? (with Yoav Shoham).
ILLC: Modal Logic, Model Theory, Recursion Theory, Research Seminar on Social Software
I have also taught a number of short (5 day) courses at the European Summer School for Logic, Language and Information. The webpage for each course can be found below:
Organizing: Workshop on Logics of Rational Interaction (LORI-II), Chongqing, China, October 7 - 11, 2009; Theoretical Aspects of Rationality and Knowledge (TARK 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
Refereeing Duties: Knowledge, Rationality and Action, Synthese, ESSLLI 2006, 2007 Student Session, 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
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
Last amended: 28 August 2009