RESEARCH INTERESTS

  • Mathematics: Domain theory, Operator theory, Category theory

  • Computer Science: Semantics of high-level programming languages, Quantum Computing

PUBLICATIONS AND PREPRINTS

  • Mathys Rennela.
    The conception of truth in game semantics and linear logic.
    Accepted for presentation at IHPST (Paris), 2012.
    Augmented version translated in English, 2017. [preprint]

  • Robin Kaarsgaard and Mathys Rennela.
    Categorical models of reversible computing.
    Submitted, 2017. [preprint]

  • Mathys Rennela and Sam Staton.
    Classical control and quantum circuits in enriched category theory.
    Submitted, 2017. [preprint]

  • Mathys Rennela.
    Convexity and Order in Probabilistic Call-by-Name FPC.
    Submitted, 2016. [arXiv]

  • Robert Furber, Mathys Rennela and Sam Staton.
    Infinite-dimensionality in quantum foundations:
    W*-algebras as presheaves over matrix algebras
    .
    Accepted for QPL'16, 2016. [journal] [preprint]

  • Iordanis Kerenidis, Mathieu Laurière, François Le Gall and Mathys Rennela.
    Information cost of quantum communication protocols.
    Quantum Information and Computation, Vol.16 No.3-4, March 1, 2016. [journal]

  • Mathys Rennela and Sam Staton.
    Complete positivity and natural representation of quantum computations.
    Accepted for MFPS XXXI, 2015. [journal]

  • Iordanis Kerenidis, Mathieu Laurière, François Le Gall and Mathys Rennela.
    Privacy in Quantum Communication Complexity.
    Accepted for QIP'15 & TQC'15 (poster), 2015. [arXiv]

  • Mathys Rennela.
    Towards a Quantum Domain Theory:
    Order-Enrichment and Fixpoints in W*-Algebras
    .
    Accepted for MFPS XXX, 2014. [journal]