Research: Dynamic Epistemic Logic, Justification Logic
Working Papers
  • A Survey of Dynamic Epistemic Logic. Manuscript, May 2008.
  • Public and Private Communication are Different: Results on Relative Expressivity. Technical Report TR-2008001, CUNY Ph.D. Program in Computer Science, 2008.
  • Public Communication in Justification Logic. Technical Report TR-2005025, CUNY Ph.D. Program in Computer Science, 2007.
  • Propositional Games with Explicit Strategies. Technical Report TR-2005012, CUNY Ph.D. Program in Computer Science, 2007.
Published Papers
  • Dynamic Epistemic Logic with Justification. PhD thesis, The City University of New York, 2008.
  • The Relative Expressivity of Public and Private Communication in BMS Logic. In J. van Benthem, S. Ju, and F. Veltman, editors, A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality, and Interaction, Beijing, 2007, volume 8 of Texts in Computer Science, pages 213–229. College Publications, 2007.
  • Bisimulation and Public Announcements in Logics of Explicit Knowledge. In S. N. Artemov and R. Parikh, editors, Proceedings of the Workshop on Rationality and Knowledge, 18th European Summer School in Logic, Language, and Information (ESSLLI), Málaga, Spain, 2006.
  • Semantic Cut-Elimination for Two Explicit Modal Logics. In J. Huitink and S. Katrenko, editors, Proceedings of the 11th ESSLLI Student Session, Málaga, Spain, 2006.
  • Propositional Games with Explicit Strategies. In G. Mints and R. de Queiroz, editors, Proceedings of the 13th Workshop on Logic, Language, and Computation (WoLLIC), Stanford, CA, 2006.
Invited Talks
  • Epistemology Meets Logic, Informally. Stanford University, May 31, 2008.
  • "Epistemic Updates in Justification Logics." Dynamic Logic Montréal. Université du Québec à Montréal, June 20, 2007.
  • "Propositional Games with Explicit Strategies." 13th Workshop on Games, Logic, Language, and Computation (GLLC 14). Universiteit van Amsterdam, October 3, 2006.
Organizational Activity
Teaching
  • CSCI 120: Introduction to Computers at Hunter College. Spring 2005.
  • CSCI 235: Software Design and Analysis 2 at Hunter College. Spring 2004, Fall 2004, Fall 2003.
Personal