I have three research areas: (a) probabilistic systems (b) concurrency 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 concurrency 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).

I gave tutorials this summer at Mathematical Foundations Of Programming Semantics in Ottawa, at the QICS Summer School in Oxford and at the SFM School in Bertinoro.

I have recently published a book called Labelled Markov Processes.