I have three research areas: (a) probabilistic systems (b)
logic and computation and (c) machine learning. I work on
approximation of continuous-state systems and associated
metrics and logics. I have been working on Stone duality for
Markov processes and completeness theorems for Markovian
logics. I am also interested in duality for automata and
using it for minimization. Recently I have begun working on
approximate minimization. I am also interested in
Tannaka-type theorems for C* algebras.
Bob Coecke and I are organizing
a workshop on
Categorical Quantum Mechanics
at Bellairs in
March 2016. Alexandra Silva is also organizing a parallel workshop on
coalgebraic aspects of programming languages.
boards on which I serve are accessible
through Links above.