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
at Bellairs in
I have recently published a book
Here is a list
of my favourite fifteen papers.