I have three research areas: (a) probabilistic systems (b) logic and computation and (c) quantum information theory. I work on approximation of continuous-state systems and associated metrics and logics. I do not work directly in AI myself but I interact closely with researchers in machine learning and try to apply results on Markov processes. In logic and computation I am interested in security and modal logics for reasoning about information flow and in incorporating modalities into the programming language. My major activity in logic in computation is about Stone-type dualities and their applications to computer science. In quantum information theory I work on informatic phenomena in relativistic situations. I am working on photon polarization in the Kerr geometry. In the past I worked on the one-way model and on quantum communication in Rindler spacetime.

I am a part of the Reasoning and Learning Laboratory and interact with the Quantum information group. I am funded by NSERC.

Bart Jacobs and I recently organized a workshop on coalgebras at Bellairs in March 2013.

I have recently published a book called Labelled Markov Processes.

Here is a list of my favourite fifteen papers.