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.
Lately I have been working on Stone duality for Markov
processes and completeness theorems for Markovian logics.
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
main recent activity is using Stone-type dualities to
minimize automata of various kinds. I am also interested in
Tannaka-type theorems for C* algebras.
In quantum information theory I work on informatic phenomena in
Alexandra Silva and I recently organized
a workshop on duality
at Bellairs in
March 2014. We also organized a parallel workshop on
I have recently published a book
boards on which I serve are accessible
through Links above.
I was recently elected as a
Fellow of the Academy of Science of the Royal
Society of Canada.