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 some AI researchers and provide some mathematical tools that they might find useful. In logic and computation I am interested in security and modal logics for reasoning about information flow. In quantum information theory I work on informatic phenomena in relativistic situations. I am also interested in the one-way model and in topological quantum computing.

I am a part of the Reasoning and Learning Laboratory and interact with the Quantum information group. I am funded in part by NSERC (Canada), by FQRNT (Quebec) and by the Office of Naval Research (USA).

Bart Jacobs and I are organizing a workshop on coalgebras at Bellairs this March.

I have recently published a book called Labelled Markov Processes.

Here is a list of my favourite fifteen papers.