Dr Robert Furber

Biography

I was previously a research associate at Edinburgh University, and before that at Aalborg University in Denmark.

I am interested in probabilistic and quantum programming and use a variety of approaches, often including category theory (especially monads and adjunctions) and functional analysis. I have recently started to make use of Boolean-valued models in my research as well.

Publications

• From Kleisli categories to commutative C*-algebras: Probabilistic Gelfand Duality
• Categorical Equivalences from State-Effect Adjunctions
• Probabilistic Logics Based on Riesz Spaces
• A Probability Monad on Measure Spaces
• Interpreting Lambda Calculus in Domain-Valued Random Variables