Last changed: 8/10/2014

Employment

Visiting Appointments

Education

Grants and Awards

  • 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-1999

Teaching

  • I have taught a number of graduate and undergraduate courses in Philosophy and Computer Science. Consult my teaching page for an overview of the courses and links to course websites.

Publications

Editing Duties

Presentations

  • Oct 28, 2015 - Reasoning about beliefs in games: Mistaken beliefs and beliefs about mistakes - The Fifth International Conference on Logic, Rationality and Interaction (LORI-V), Taipei, Taiwan
  • Aug 05, 2015 - Dynamic logics of evidence and beliefs - Logical Structure of Correlated Information, Affiliated Meeting at the CLMPS, Helsinki
  • May 26, 2015 - Dependence and Independence in Social Choice Theory - TU Delft Applied Logic Talks, Delft, The Netherlands
  • Nov 20, 2014 - Full beliefs, partial beliefs and mistakes in games - Synthese Conference: Qualitative and Quantitative Methods in Formal Epistemology, Institute for Logic, Language and Computation, Amsterdam, The Netherlands
  • Aug 15, 2014 - What is Forward Induction Reasoning? - ELISIEMĀ - Epistemic Logic for Individual, Social, and Interactive Epistemology, Tubingen, Germany
  • Aug 06, 2014 - Knowledge and action in labeled stit logics - Advances in Modal Logic, Groningen University, The Netherlands
  • Aug 04, 2014 - Varieties of Deliberation in Games - 2nd Workshop on Reasoning about Other Minds, Groningen University, The Netherlands
  • Mar 04, 2014 - Dependence and Independence in Social Choice Theory - KNAW Dependence Logic Conference, Amsterdam, The Netherlands
  • Oct 02, 2013 - When is an Example a Counterexample? - UMD Philosophy Colloquium, University of Maryland, College Park
  • Sep 20, 2013 - Dynamic Logics of Evidence, Belief and Knowledge - The 13th Asian Logic Conference (ALC2013): Special Session on Philosophical Logic, Guangzhou, China
  • Jun 01, 2013 - Modeling Deliberation in Games - 2nd CSLI Workshop on Logic, Rationality and Interaction, Stanford University, CA
  • Apr 06, 2013 - Beliefs and Desires in Games - PHLINT I: Interdisciplinary Workshop on Beliefs and Desires, University of Maryland
  • Feb 10, 2013 - Dependence and Independence in Social Choice Theory - Dagstuhl Seminar: Depende Logic: Theory and Applications, Dagstuhl, Germany
  • Sep 05, 2012 - Modeling Deliberation in Games - UMD Philosophy Colloquium, University of Maryland, College Park
  • May 29, 2012 - Neighborhood Semantics for First-Order Modal Logic - Formal Epistemology Workshop (FEW), Munich, Germany
  • Nov 19, 2011 - Neighborhood Semantics for First-Order Modal Logic - Commemorative conference for Horacio Arlo-Costa, Pittsburgh, PA
  • Sep 15, 2011 - Dynamic Logics of Evidence-Based Beliefs - CMU Philosophy Colloquium, Pittsburgh, PA
  • Mar 06, 2011 - Modeling Deliberation in Games - Dagstuhl Seminar: From Logic to Game Theory and Back, Dagstuhl, Germany
  • Feb 25, 2011 - Logics of Informational Attitude and Informative Actions - PhDs in Logic III, Brussells, Belgium
  • Feb 15, 2011 - Paradoxes of Interactive Rationality - CPH LU Workshop on Social Epistemology, Lund University, Sweden
  • Jan 08, 2011 - The Logic and Mathematics of Voting - Wintersymposium: Logica! als we stemmen, communiceren of liegen, Utrecht, The Netherlands
  • Nov 03, 2010 - Logics of Rational Agency: Actions, Ability and Know-How - International Workshop on Logic and Philosophy of Knowledge, Communication and Action, San Sebastian, Spain
  • Apr 13, 2010 - Reasoning about and with protocols - CUNY Logic and Games Seminar, New York City, NY
  • Apr 01, 2010 - Revising intentions and beliefs - Colloquium, University of Luxembourg, Luxembourg
  • Feb 23, 2010 - Revision of intentions and beliefs - Dynamics Seminar, Groningen University, Groningen
  • Dec 28, 2009 - Paradoxes of Interactive Rationality - Structures of Rationality, Kaipur, India
  • Nov 17, 2009 - Levels of Knowledge and Belief - Computational Social Choice Seminar, Amsterdam, The Netherlands
  • Oct 15, 2009 - Tutorial: Logics of Rational Interaction - LORI 2009, Chongqing, China
  • Aug 15, 2009 - Dynamic Logic of Intention and Belief - TiLPS Logic Seminar, Tilburg, The Netherlands
  • Apr 21, 2009 - Interactive Epistemology - Symbolic Systems Colloquium, Stanford, CA
  • Mar 15, 2009 - Godel's Proof of the Existence of God - Logical Methods in the Humanities, Stanford, CA
  • Jun 30, 2008 - Tutorial: Logics of Rational Action - Decisions, Games and Logic, Amsterdam, The Netherlands
  • May 30, 2008 - The Tree of Knowledge in Action - UCLA Logic Colloquium, Los Angeles, CA
  • Feb 26, 2008 - Towards a Theory of Intention Revision - The Dynamics of Preferences and Intentions, Amsterdam, The Netherlands
  • Jan 14, 2008 - Foundations of Game Theory: A Tutorial - Second Indian Winter School in Logic, IIT Kanpur, India
  • Nov 16, 2007 - An Overview of Logic in Game Theory - Berkeley Logic Colloquium, Berkeley CA
  • Nov 08, 2007 - Knowledge Based Obligations - RUC-ILLC Workshop on Deontic Logic, Roskilde, Denmark
  • Jul 02, 2007 - Meeting of the Minds - 1-day Workshop at the ILLC, Amsterdam, The Netherlands
  • Jun 19, 2007 - Merging Frameworks for Interaction: DEL and ETL - Dynamic Logic Montreal, Montreal, Canada
  • Jun 15, 2007 - Logics of Knowledge and Action for Social Software - Social Choice Colloquium, University of Tilburg, The Netherlands
  • May 26, 2007 - An abstract approach to reasoning about games with mistaken and changing beliefs - METEORITE seminar at Maastricht University, Maastricht, The Netherlands
  • May 22, 2007 - Logic and Social Choice Theory: A Survey - Computational Social Choice Meeting, Toulouse, France
  • May 18, 2007 - Logics for Social, Interactive Situations - Social Software Mini-Conference, CUNY, New York City, NY
  • Feb 20, 2007 - Neighborhood Semantics for First-Order Modal Logic - Mathematical Methods in Philosophy, Banff, Canada
  • Feb 05, 2007 - Commentator on Adam Brandenburger's Paper: How Much Coordination is Possible via Correlation? - KNAW New Perspectives on Games and Interaction, Amsterdam, The Netherlands
  • Jan 09, 2007 - Epistemic Temporal Logic - 2nd Indian Conference on Logic and its Applications, Mumbai, India
  • Jan 03, 2007 - Introduction to Neighborhood Semantics for Modal Logic - International Conference on Logic, Navya-Nyaya & Applications, Kokata, India
  • Oct 30, 2006 - Comparing Dynamic Epistemic Logic and Epistemic Temporal Logic - Games, Action and Social Software, Lorentz Center, Leiden, The Netherlands
  • Sep 12, 2006 - The Tree of Knowledge in Action - University of Aachen Logic Talks, Aachen, Germany
  • Jun 03, 2006 - The Tree of Knowledge in Action - Bloomington Logic Talks at Indiana University, Bloomington, Indiana
  • Apr 27, 2006 - Preference Based Belief Dynamics - Workshop for the 70th Birthday Celebration for Krister Segerberg, Amsterdam, The Netherlands
  • Apr 20, 2006 - Towards a Theory of Correctness of Social Procedures - Gloriclass Seminar, ILLC, Amsterdam, The Netherlands
  • Nov 04, 2005 - Reasoning about Communication Graphs - August De Morgan Workshop: Interactive Logic and Social Software, King's College, London
  • Oct 15, 2005 - Logics of Knowledge for Social Software - Pure and Applied Logic Colloquium, Carnegie Mellon University, PA
  • Sep 19, 2005 - The Logic of Communication Graphs - Games, Logic, Language and Computation 11, Amsterdam, The Netherlands
  • Sep 16, 2005 - Some New Results on Adjusted Winner - Multiagent Resource Allocation Workshop, Budapest, Hungary
  • Apr 21, 2005 - Topics in Social Software: Information in Strategic Situations - CUNY Computer Science Colloquium, Graduate Center, New York City, NY
  • Jan 08, 2005 - Logic and the Foundations of Game Theory - First Indian Conference on Logic and its Applications, IIT, Mumbai, India

Department Service

  • Department website designer and coordinator (www.philosophy.umd.edu), 2012 - present
  • Undergraduate curriculum committee, 2013 - present
  • Salary committee, 2013-2015

Student Supervision

Professional Activities