- Epistemic and Dynamic Modal Logics
- Theory: Adjoint Modalities, Algebraic-Categrical Reasoning, Free-Canonical Models, Proofs
- Application: Classical and Quantum Security Protocols, Intepreted Systems
- Implementation: Software Aximo (written by my part III student Simon Richards)
- Compact Closed Categories in Computational Linguistics
- Compositional Distributed Models of Meaning
- Lambek Pregroups for Persian
Other Activities:
Collaborators:
Mohammad Ardeshir, Alexandru Baltag, Corina Cirstea, Stephen Clark, Bob Coecke, Ellie D'hondt, Roy Dyckhoff, Mathieu Marion, Riccardo Pucella, Simon Richards.
