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
Helle Hvid Hansen and I are organizing
a workshop on
Coalgebras in Quantum Physics
at Bellairs in
March 2015. Joel Ouaknine is also organizing a parallel workshop on
boards on which I serve are accessible
through Links above.