CV

Contact Information

Name Tomáš Gonda
Professional Title Researcher in Applied Category Theory and Quantum Information Theory
Email 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.
  • 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

Languages

Slovak : Native
Czech : Fluent
English : Fluent (C1/C2)
German : Fluent (B2)