CV
Contact Information
| Name | Tomáš Gonda |
| Professional Title | Researcher in Applied Category Theory and Quantum Information Theory |
| tomas.gonda@uibk.ac.at | |
| Location | Innsbruck, Austria |
| Website | https://tomasgonda.org/ |
Experience
-
2025 - present Innsbruck, Austria
Senior postdoctoral researcher
University of Innsbruck
Independent research in applied category theory and quantum information.
- Algebra group, led by Tim Netzer
- Funded by my FWF ESPRIT Grant Ergodic Theory in Categorical Probability
-
2022 - 2025 Innsbruck, Austria
Postdoctoral researcher
University of Innsbruck
Conducting research in applied category theory and quantum information theory.
- Mathematical quantum physics group, led by Gemma De Les Coves
-
June 2024 Oxfork, UK
Supervisor / teaching assistant
Applied Category Theory Adjoint School
Co-leading a summer school research project with Paolo Perrone.
-
2022 - present varied
Supervisor / project lead
University of Waterloo & University of Innsbruck
Supervising Master’s thesis projects of:
- Yìlè Yīng (MSc, 2022, co-supervised by RW Spekkens); Asymmetry Trade-off Relations: A New Kind of Uncertainty Relations
- Stefan Kremminger (MSc, 2024); Quantum Conditional Independence
-
2017 - 2021 Waterloo, ON, Canada
Teaching assistant
University of Waterloo
- Conducting tutorials for graduate level courses in Quantum Theory and Statistical Physics.
- Supervising multiple Master’s level winter school projects in Quantum Foundations.
-
Summer 2019 Zürich, Switzerland
Visiting researcher
ETH Zürich
Collaborating with researchers in the group of Renato Renner on topics in information theory.
-
2013 - 2016 remote
Online tutor
InstaEDU
Online tutoring of undergraduate students in science and engineering.
-
Summer 2015 Edinburgh, Scotland
Career development internship
University of Edinburgh
A summer project on modelling turbulence in Matlab.
- Topic: Transition to turbulence in plane Couette flow
-
2012 - 2013 Bratislava, Slovakia
Personal tutor
In-person tutoring of high school students.
Volunteering
-
- remote
Reviewer
Scientific Journals
Reviewing manuscripts for:
- Philosophy of Science (1)
- Quantum (3)
- Compositionality (2)
- Journal of Pure and Applied Algebra (1)
- Journal of Mathematical Physics (1)
- various conference submissions.
-
2024 - present Innsbruck, Austria
Organizer
Positive Futures Festival
Co-organizing an annual two week long music festival with ~40 concerts and ~1000 attendees.
-
2025 - present Germany
Organizer
Touch&Play Cologne Festival
Co-organizing and facilitating an annual week long retreat with ~100 attendees.
Education
-
2017 - 2021 Waterloo, ON, Canada
PhD
Perimeter Institute & University of Waterloo
Physics, Quantum Information
- Thesis: Resource theories as quantale modules
- Supervisor: Dr. Robert W. Spekkens
-
2016 - 2017 Waterloo, ON, Canada
MSc & PSI (Perimeter Scholars International)
Perimeter Institute & University of Waterloo
Theoretical Physics
- Thesis: Resource theoretic approach to causal inference
- Supervisor: Dr. Robert W. Spekkens
-
2013 - 2016 Edinburgh, Scotland
BSc
University of Edinburgh
Mathematics & Physics
- First class honours, 92% average grade
- Thesis: Symplectic Geometry
- Supervisor: Dr. Johan Martens
Awards
-
2025 ESPRIT Grant Ergodic Theory in Categorical Probability
FWF - Austrian Science Fund
The ESPRIT Grant supports young independent researchers in Austria.
-
2016 Napier Medal and Gangadhar Balwant Gadgil Prize
University of Edinburgh, School of Mathematics
Awarded to the best student in the Year 4 of the Mathematics program.
-
2015 Nichol Foundation Scholarship
University of Edinburgh, School of Physics and Astronomy
Awarded to the best overall mark in the Year 3 of Physics degrees.
-
2014 Kelland Memorial Prize
University of Edinburgh, School of Mathematics
Awarded for distinguished performance for direct entrants into the Second year of the program.
Selected Publications
-
2025 Empirical measures and strong laws of large numbers in categorical probability
preprint
We introduce axioms for empirical sampling morphisms, which are abstract notions of empirical measures within the framework of categorical probability. Using these, we prove abstract versions of the de Finetti theorem, the Glivenko–Cantelli theorem, and the strong law of large numbers, and show that classical results are recovered via the category of partial Markov kernels.
-
2021 De Finetti's theorem in categorical probability
Journal of Stochastic Analysis
A novel proof of de Finetti’s Theorem characterizing permutation-invariant probability measures of infinite sequences of variables. The proof is phrased in the language of Markov categories, which provide an abstract categorical framework for probability and information flow. The diagrammatic and modular nature of the arguments makes the proof intuitive and easy to follow.
-
2025 Epistemic horizons from deterministic laws: Lessons from a nomic toy theory
Synthese
A study of what embedded observers can learn about the rest of the world made up of classical particles. We show that, in spite of deterministic physical laws, they face an epistemic horizon — properties such as position and momentum cannot be known simultaneously.
-
2024 A framework for universality in physics, computer science, and beyond
Compositionality
First steps towards an abstract theory of universality, generalizing universal Turing machines, universal spin systems, completeness for complexity classes,and much more.
-
2023 Monotones in general resource theories
Compositionality
Resource theories offer an abstract framework for comparing resources for all kinds of tasks. We provide a general theory for quantifying the cost and yield of a resource, generalizing a plethora of known constructions.
Selected Presentations
-
2025 Waterloo, ON, Canada
Introduction to categorical probability
A 4-lecture mini-course at the Perimeter Institute
- Online recordings: pirsa.org/c25054
-
2025 Vienna, Austria
Introduction to categorical probability
IQOQI Vienna Seminar
- Youtube recording: youtube.com/watch?v=eVfFuIGEZxc
-
2024 Varna, Bulgaria
Resource dependence relations and contextuality in asymmetry trade-offs
Quantum Physics and Logic (QPL) Conference
-
2024 Oxford, UK
Epistemic horizons from deterministic laws: Lessons from a nomic toy theory
OASIS — The Oxford Advanced Seminar on Informatic Structures
- Invited talk
-
2023 remote
A framework for universality in physics, computer science, and beyond
NYC category theory seminar
- Invited talk
- Youtube recording: youtube.com/watch?v=8_ZX2vpqBZU
-
2023 Maryland, USA
Supports and idempotent splitting in Markov categories
Applied Category Theory Conference
- Youtube recording: youtube.com/watch?v=3QJzfdZu8_g
-
2023 Bergen, Norway
A framework for universality in physics, computer science, and beyond
Category Theory at Work in Computational Mathematics and Theoretical Informatics (CATMI)
- Invited talk
-
2021 Cambridge, UK
De Finetti's theorem in categorical probability
Applied Category Theory Conference
-
2020 remote
Blackwell-Sherman-Stein Theorem in categorical probability
Applied Category Theory Conference
- keynote presentation
- Youtube recording: youtube.com/watch?v=fgWUV-hE0CI
-
2019 Boulder, CO, USA
Almost quantum correlations are inconsistent with Specker's principle
Quantum Information Processing (QIP) Conference
-
2018 Florianopolis, Brazil
Almost quantum correlations are inconsistent with Specker's principle
Q-Turn Conference
- Youtube recording: youtube.com/watch?v=u2XwLiktTI8
-
2018 Cambridge, UK
The ontological nature of causality
Rethinking Foundations of Physics Workshop
- Youtube recording: youtube.com/watch?v=3QJzfdZu8_g
-
2017 Bratislava, Slovakia
Peculiarities of quantum theory
FKS Summer School