Research output per year
Research output per year
Personal profile
Research interests
My interests are in probability, logic, quantum, and category theory, especially monads. I also work in domain theory and Boolean-valued models. I now want to apply my expertise to quantitative program semantics.
Biography
I completed my PhD at Radboud University, Nijmegen, supervised by Bart Jacobs. I have since been a postdoc at Aalborg University in Denmark, the University of Edinburgh, and now here at Heriot-Watt.
Education/Academic qualification
Doctor of Philosophy, Categorical Duality in Probability and Quantum Foundations
Award Date: 3 Oct 2017
Fingerprint
Dive into the research topics where Robert Furber is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Interpreting Lambda Calculus in Domain-Valued Random Variables
Furber, R., Mardare, R., Panangaden, P. & Scott, D., 18 Feb 2026, 34th EACSL Annual Conference on Computer Science Logic (CSL 2026). Guerrini, S. & Konig, B. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 48. (Leibniz International Proceedings in Informatics; vol. 363).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile12 Downloads (Pure) -
Commutative W*-algebras as a Markov Category
Furber, R., 31 Jul 2023.Research output: Contribution to conference › Abstract › peer-review
-
A Probability Monad on Measure Spaces
Furber, R., 22 Jul 2022.Research output: Contribution to conference › Abstract › peer-review
-
Some No-Go Results in Quantum Domain Theory
Furber, R., 1 Jul 2022. 34 p.Research output: Contribution to conference › Abstract › peer-review
-
Interpreting Lambda Calculus in Domain-Valued Random Variables
Furber, R., Mardare, R., Panangaden, P. & Scott, D., 12 Dec 2021, arXiv, 31 p.Research output: Working paper
Open Access