QuSoft QuSoft QuSoft QuSoft
  • Home
  • Research
  • Education
  • News
  • Events
  • About
    • Partners
  • People
    • Job opportunities
  • Lustrum
  • Contact
QuSoft QuSoft
  • Home
  • Research
  • Education
  • News
  • Events
  • About
    • Partners
  • People
    • Job opportunities
  • Lustrum
  • Contact
May 23

DR. MATHYS RENNELA

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
.

 https://arxiv.org/abs/1711.05159

  • Facebook
  • Twitter
  • Google+
  • LinkedIn
  • E-Mail

Comments are closed.

QuSoft

Amsterdam

© 2019 QuSoft · design by _blank