I have three research areas: (a) semantics and logics for
probabilistic systems (b) logic and computation and (c)
applications to machine learning. I work on approximation of
continuous-state systems and associated metrics and logics.
I am working on a quantitative extension of equational logic
which allows one to carry out approximate reasoning.
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 have not been active in quantum computation
for a year but I hope to return to it soon.
Samson Abramsky, Anuj Dawar, Phokion
Kolaitis and I organized a thematic semester on
at the Simons
Institute for Theoretical Computer Science in
My co-authors, Richard Blute,
Josee Desharnais, Abbas Edalat and I won the 2017
Test-of-Time Award from LICS for our 1997 paper on
bisimulation for labelled Markov processes. The award will
be presented at LICS in Reykjavik, this June.
boards on which I serve are accessible
through Links above.