Programming language semantics and type theory, especially for
concurrent and distributed systems.
Quantum computing, communication and cryptography, especially
formal modelling and analysis of quantum protocols.
If you are interested in applying to do a PhD in one of my research areas,
please contact me. There are numerous possible topics related to the
projects listed below. You can find information about the application