Talks

Last updated on November 26th, 2021.

Selected Talks

  • Hybrid divide-and-conquer approach for tree search algorithms
    ENS / INRIA quantum computing group meeting.
    Tuesday May 25th, 2021.
  • Operator algebraic models for quantum programming with inductive types (and beyond)
    APR (LIP6) seminar.
    Friday March 5th, 2021.
  • Hybrid tree search-based algorithms
    Seefeld Workshop on Quantum Information (Contributed talk).
    Cancelled in 2020 due to the COVID-19 pandemic
  • Quantum programming with inductive datatypes
    FOSSACS 2020.
    Cancelled in 2020 due to the COVID-19 pandemic
  • Quantum programming with inductive datatypes
    LORIA, Nancy.
    Tuesday May 14th, 2019.
  • Operator algebras in categorical quantum foundations
    Chocola seminar (Invited talk)
    École Normale Supérieure, Lyon.
    Thursday May 5th, 2019.
  • AI on near-term quantum computers
    Workshop on quantum computing (Invited Talk)
    surfSARA, Amsterdam.
    Thursday May 2nd, 2019.
  • Classical control and quantum circuits in enriched category theory.
    MFPS XXXIII, University of Ljubljana.
    Wednesday June 15th, 2017. [slides]
  • Classical control and quantum circuits in enriched category theory.
    Quantum Group Workshop, Trinity College (Oxford, UK).
    Saturday May 13th, 2017.
  • Axiomatizing models of reversible computing.
    QCLS Seminar, Radboud University (Nijmegen, The Netherlands).
    Wednesday February 1st, 2017. [slides]
  • Denotational Models of Recursion in Quantum Computing.
    Department of Physics and Engineering Physics, Tulane University (New Orleans, Louisiana).
    Friday October 7th, 2016. [blackboard talk]
  • Quantum Domain Theory II:
    A functorial approach
    .
    Department of Computer Science, Tulane University (New Orleans, Louisiana).
    Tuesday September 13th, 2016. [blackboard talk]
  • Quantum Domain Theory I:
    Prospects and applications in contextuality and semantics
    .
    Department of Computer Science, Tulane University (New Orleans, Louisiana).
    Wednesday September 7th, 2016. [blackboard talk]
  • Infinite-dimensionality in quantum foundations:
    W*-algebras as presheaves over matrix algebras
    .
    Quantum Physics and Logic 2016, University of Strathclyde (Glasgow, Scotland).
    Friday June 10th, 2016. [slides]
  • New insights on Probabilistic PCF.
    QCLS Seminar, Radboud University (Nijmegen, The Netherlands).
    Wednesday November 11th, 2015. [blackboard talk]
  • Complete positivity and natural representation of quantum computations.
    MFPS XXXI, LUX Cinema (Nijmegen, The Netherlands).
    Wednesday June 24th, 2015.
    Quantum Physics and Logic 2015, Oxford University (Oxford, UK).
    Wednesday July 15th, 2015. [slides]
  • Order-valued presheaves as quantum computations.
    Coalgebras in Quantum Physics Workshop.
    Bellairs Research Institute (Holetown, Barbados).
    Sunday March 15th, 2015. [blackboard talk]
  • Abstract theory of quantum domains.
    QCLS Seminar, Radboud University (Nijmegen, The Netherlands).
    Wednesday February 4th, 2015. [blackboard talk]
  • Towards a Quantum Domain Theory.
    Domains XI, Paris-Diderot University (Paris, France).
    Tuesday September 9th, 2014. [slides]
  • Towards a Quantum Domain Theory: Order-Enrichment and Fixpoints in W*-Algebras.
    MFPS XXX, Cornell University (Ithaca, NY).
    Friday June 13th, 2014. [slides]
  • Weakest preconditions for classical, probabilistic and quantum computation.
    QCLS Seminar, Radboud University (Nijmegen, The Netherlands).
    Wednesday November 13th, 2013. [blackboard talk]
  • Topology, domain theory and von Neumann algebras.
    QCLS Seminar, Radboud University (Nijmegen, The Netherlands).
    Wednesday November 6th, 2013. [blackboard talk]
  • Jouer avec la vérité: De la conception sémantique de la vérité d’Alfred Tarski à la logique tensorielle de Paul-André Melliès.
    Institut d’Histoire et de Philosophie des Sciences et Techniques (Paris, France).
    Friday September 21st, 2012. [abstract (french)]

RESEARCH VISITS

  • LORIA (Nancy, France) (13/05/19 – 17/05/19).
  • Dagstuhl Castle (Wadern, Germany) (16/09/18 – 21/09/18).
  • Lorentz Center (Leiden) (30/07/18 – 03/08/18).
  • Quantum Group, Oxford University (12/05/17 – 17/05/17).
  • Université Paris 6 (UPMC) (23/02/17).
  • Simons Institute for the Theory of Computing
    UC Berkeley
    (05/12/16 – 13/12/16).
  • Institute for Logic, Language and Computation
    University of Amsterdam
    (17/10/16 – 02/12/16).
  • Department of Computer Science
    Tulane University
    (06/09/16 – 08/10/16).
  • Simons Institute for the Theory of Computing
    UC Berkeley
    (29/08/16 – 03/09/16).
  • Quantum Group, Oxford University (27/06/16).
  • PPS, Université Paris 7 Diderot (02/05/16 – 13/05/16).
  • Quantum Group, Oxford University (01/02/16 – 12/02/16).
  • Quantum Group, Oxford University (01/06/15 – 06/06/15).