[Teaching]
[Research]
[Events]
[Talks]
Teaching
Here are the courses I am teaching this semester:
 Math 341: Number Theory
 Math 364A: Ordinary Differential Equations I
Here are some past courses that I taught in other institutions:
Research
Here is a list of published and forthcoming papers

(with Jort Bergfeld)
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs.
Online first in Soft Computing, 2015.
[SpringerLink]

(with Bryan Renne and Audrey Yap)
Logics of TemporalEpistemic Actions. Online first in Synthese, 2015.
[SpringerLink]
[arXiv pdf]

(with Saleem Watson)
Characterizing C(X) among Intermediate CRings on X.
Topology Proceedings 45, 2015, pp. 301–313.
[Topology Proceedings 45]
[Author created pdf]

(with Lorenz Demey)
Epistemic Probabilistic Logic.
In the Handbook of Epistemic Logic. H. van Ditmarsch, J. Halpern, W. van der Hoek and B. Kooi (eds.), College Publications, London, 2015, pp. 147–202.

(with Jort Bergfeld, Kohei Kishida, and Shengyang Zhong)
Duality for the Logic of Quantum Actions.
Studia Logica 103:4, 2015, pp. 781–805.
[SpringerLink]

(with Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Sonja Smets, and Shengyang Zhong)
PLQP & Company: Decidable Logics for Quantum Algorithms.
International Journal of Theoretical Physics 53:10, 2014, pp. 3628–3647.
[SpringerLink]
 (with Wiebe van der Hoek)
A modal logic for mixed strategies.
Studia Logica 102:2, 2014, pp. 339–360.
[SpringerLink]
 (with Saleem Watson)
C and C* among intermediate rings.
Topology Proceedings 43, 2014, pp. 69–82.
[Topology Proceedings 43]
[Author created pdf]
 (with Sebastian Enqvist)
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics.
In the Proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, Lecture Notes in Computer Science 8446, 2014 pp. 98–117.
[SpringerLink]
 (with Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Sonja Smets, and Shengyang Zhong)
Quantum Probabilistic Dyadic SecondOrder Logic.
In the proceedings of the 20th Workshop on Logic, Language, Information and Computation, WoLLIC 2013, Darmstadt, Germany, 2013. Lecture Notes in Computer Science 8071, 2013, pp. 64–80.
[SpringerLink]
[Author created pdf]
 (with Saleem Watson)
Characterizations of Ideals in Intermediate CRings A(X) via the ACompactifications of X.
Journal of Mathematics and Mathematical Sciences Volume 2013, Article ID 635361.
[Hindawi]
 (with Lorenz Demey and Barteld Kooi)
Logic and Probability.
In the Stanford Encyclopedia of Philosophy, Edward N. Zalta (Ed.). First archived: spring 2013.
[Stanford Encyclopedia of Philosophy]
 (with Luca Aceto, Anna Ingólfsdóttir, and Cristian Prisacariu)
Compositional Reasoning for MultiModal Logics.
In the proceedings of the Symposium on Logical Foundations of Computer Science, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Lecture Notes in Computer Science 7734, 2013. pp. 1–15.
[SpringerLink]
[Author created pdf]
[Technical report pdf]
 (with Phyllis Panman and Saleem Watson)
Correspondences between ideals and zfilters for rings of continuous functions between C* and C.
Commentationes Mathematicae 52:1, 2012. pp. 11–20.
[Author created pdf]
 (with Henning Ulfarsson)
Refined inversion statistics on permutations. Electronic Journal of Combinatorics. 19, 2012, P29.
[Electronic Journal of Combinatorics]
[arXiv]
 (with Lijun Zhang)
A general framework for probabilistic characterizing formulae.
In the proceedings of to the Verification, Model Checking, and Abstract Interpretation
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 2224, 2012. Lecture Notes in Computer Science 7148, 2012. pp. 396–411.
[SpringerLink]
[Author created pdf]
 (with Luca Aceto, Anna Ingólfsdóttir, and Paul Blain Levy)
Characteristic Formulae for FixedPoint Semantics: A General Framework.
Mathematical Structures in Computer Science 22:2, 2012, pp. 125–173.
[Cambridge journals]
[Author created pdf]
 (with Luca Aceto, Wiebe van der Hoek, and Anna Ingólfsdóttir)
Sigma algebras in probabilistic epistemic dynamics.
Proceedings of the Thirteenth conference on
Theoretical Aspects of Rationality and Knowledge, ACM, 2011, pp. 191–199.
[ACM Digital Library]
[Author created pdf]
 (with Luca Aceto and Anna Ingólfsdóttir)
Resource bisimilarity and graded bisimilarity coincide.
Information Processing Letters. 111:2, 2010. pp. 68–76.
[ScienceDirect]
[Author created pdf]
 (with Samuel Bucheli, Roman Kuznets, Bryan Renne, and Thomas Studer)
Justified Belief Change.
In X. Arrazola, M. Ponte, editors, Proceedings of Logic and Philosophy of Knowledge, Communication and Action, pp. 135–155, Basque Country Press, 2010.
[Author created pdf]
 Logic for Update Products and Steps into the Past.
Annals of Pure and Applied Logic. 161:12, 2010. pp. 1431–1461.
[ScienceDirect]
[Author created pdf]
 (with Luca Aceto and Anna Ingólfsdóttir)
Characteristic Formulae for FixedPoint Semantics: A General Framework. In the proceedings of the 16th International Workshop on Expressiveness and Concurrency 2009.
[EPTCS publication]
 (with Bryan Renne and Audrey Yap)
Dynamic Epistemic Temporal Logic.
In X. He, J. Horty, and E. Pacuit, editors, Logic, Rationality and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8–11, 2009.
Proceedings, Lecture Notes in Computer Science 5834, 2009. pp. 263–277.
[SpringerLink]
[Author created pdf]
 Extending Probabilistic Dynamic Epistemic Logic.
Synthese,
169:2, 2009. pp. 241–257.
[SpringerLink]
[Author created pdf]
 Temporal Languages for Epistemic Programs.
Journal of Logic, Language and Information,
17:2, 2008. pp. 183–216.
[SpringerLink] [Author created pdf]
Some Events
Here are some past workshops:
 Amsterdam Quantum Logic Workshop, a workshop for the project Reasoning about Quantum Interaction, ILLC, UvA, Amsterdam, May 7 and May 8, 2015.
 Amsterdam Quantum Logic Workshop, a workshop for the project Reasoning about Quantum Interaction, ILLC, UvA, Amsterdam, March 31 to April 2, 2014.
 the ICETCS Workshop on Logic and Concurrency, Reykjavik, September 15, 2010.
Some Talks
 Quantum Logic and Structure (2015, November 4) [pdf]
Chapman University Mathematics and Computational Science seminar, Orange, CA, USA.
 A Coalgebraic Approach to Graded Modal Logic and Graded Bisimilarity (2014, November 11) [pdf]
Logic Tea. Amsterdam, Netherlands.
 Logic and its Applications to the Sciences (2014, October 17) [pdf]
Department of Optics and Photonics Seminar. National Central University. Jhongli, Taiwan
 Modal Logic for Mixed Strategies in Games (2014, August 14)
[pdf]
Dagstuhl Seminar on Formal Methods for Coordinating MultiAgent Systems. Schloss Dagstuhl, Germany.
 The probabilistic logic of communication and change (2014, July 30)
[pdf]
The eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT). Bergen, Norway.
 Axiomatizing Probabilistic Logic of Quantum Programs (2014, April 1)
[pdf]
Amsterdam Quantum Logic Workshop. Amsterdam, Netherlands.
 Modal logics and their semantics (2012, Feb 22)
[pdf]
Mathematics Colloquium at California State University Dominguez Hills. Carson, CA, USA.
 General Framework for Probabilistic Characteristic Formulae (2012 Jan 22) [pdf]
Verification, Model Checking, and Abstract Interpretation workshop. Philadelphia, PA, USA.
 Refined Inversion Statistics on Permutations (2012, January 4) [pdf]
Joint Mathematics Meetings. Boston, MA, USA.
 Extending Probabilistic Dynamic Epistemic Logic (2008 May 29) [pdf]
Guest lecture in the class Advanced Modal Logic at Stanford University. Stanford, California, USA.
 On Temporal Dynamic Epistemic Logic (2008 February 15) [pdf]
UCLA Logic Colloquium. Los Angeles, CA, USA.
 Muddy Children, other Logic Puzzles, and Temporal Dynamic Epistemic Logic (2007 November 9) [pdf]
(An invitation to Epistemic Logic for nonlogicians)
Department of Mathematics and Statistics Colloquium at California State University Long Beach. Long Beach, CA, USA.
