Postdoc at CWI
Current institution: Postdoctoral researcher at Leiden University.
Email: mathys at cwi dot nl
Website: https://www.cwi.nl/people/mathys-rennela
Research lines: quantum foundations, programming languages, quantum complexity
Mathys Rennela is a researcher at CWI. He did his undergraduate and graduate studies at Université Paris 7 Diderot, and his PhD at Radboud University under the joint supervision of Prof. Bart Jacobs (Radboud) and Prof. Sam Staton (Oxford). His postdoctoral work is currently supported by Ronald de Wolf.
Rennela has a broad interest for the foundations of quantum computing, and in particular for the identification of the logical and mathematical structures which describe quantum algorithms. His research includes category theory, operator theory, domain theory, semantics of programming languages, and more recently quantum complexity.
Selected publications
Mathys Rennela.
Towards a Quantum Domain Theory:
Order-Enrichment and Fixpoints in W*-Algebras.
MFPS XXX, 2014.
http://dx.doi.org/10.1016/j.entcs.2014.10.016
Mathys Rennela and Sam Staton.
Complete positivity and natural representation of quantum computations.
MFPS XXXI, 2015.
http://dx.doi.org/10.1016/j.entcs.2015.12.022
Robert Furber, Mathys Rennela and Sam Staton.
Infinite-dimensionality in quantum foundations:
W*-algebras as presheaves over matrix algebras.
QPL’16, 2016.
http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2016:46
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.
http://www.rintonpress.com/journals/qiconline.html#v16n34
Mathys Rennela and Sam Staton.
Classical control, quantum circuits and linear logic
in enriched category theory.
Comments are closed.