Talks

« back

Invited Talks (specialist audience)

  • Recursive types for linear/non-linear quantum programming. Dagstuhl Seminar on Quantum Programming Languages. 17.09.2018. [slides]
  • Baby’s First Diagrammatic Calculus for Quantum Information Processing. Logical Aspects of Quantum Information. Lorentz Center. 01.08.2018. [slides]
  • Programming String Diagrams. Celebrating 10 years of the ZX-calculus. University of Oxford. 10.05.2018.
  • Categorical models of circuit description languages. Duskofest 2017. Oxford, United Kingdom. 12.10.2017. [slides]
  • Rewriting Families of Quantum Circuits. Logic Lounge. Simons Institute (UC Berkeley). 17.11.2016.
  • Equational reasoning with context-free families of string diagrams. Invited Seminar Talk. Radboud University. 02.12.2015.
  • Quantomatic – current state and case study. Celebrating 10 Years of Categorical Quantum Mechanics. Oxford, UK. 17.10.2014. [slides]

Invited Talks (broad audience)

  • Quantum Computing Basics. Cookies and Code Society. Tulane University. 20.03.2018.
  • Security in a Quantum World. NOLASEC. New Orleans, USA. 07.11.2017. [slides]
  • Quantum Computing: the Good, the Bad and the (not so) Ugly. Oriel Talks. Oriel College (University of Oxford). 07.06.2016. [slides]
  • Higher-order rewriting of Quantum Circuits. CantaBulgarian Conference. Oxford and Cambridge Club (London, UK). 13.03.2016. [slides]

Conference Talks (with no formal proceedings)

  • Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. ACT 2019. University of Oxford. 19.07.2019. [slides]
  • Mixed Linear and Non-linear Recursive Types. ACT 2019. University of Oxford. 19.07.2019. [slides]
  • Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. CALCO 2019. University College London. 04.06.2019. [slides]
  • Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. QPL 2018. Halifax, Canada. 07.06.2018. [slides]
  • Rewriting Families of String Diagrams. String 2017. Oxford. 09.09.2017. [slides]
  • Grammar transformation with DPO rewriting. GaM 2016. Technische Universiteit Eindhoven. 02.04.2016. [slides]

Conference Talks (presenting accepted papers)

  • Mixed Linear and Non-linear Recursive Types. ICFP 2019. Berlin, Germany. 21.08.2019. [slides]
  • Reflecting Algebraically Compact Functors. ACT 2019. University of Oxford. 17.07.2019. [slides]
  • Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. LICS 2018. University of Oxford. 09.07.2018. [slides]
  • A Framework for Rewriting Families of String Diagrams. TERMGRAPH@FSCD 2018. University of Oxford. 07.07.2018. [slides]
  • Quantomatic: A Proof Assistant for Diagrammatic Reasoning. CADE 2015. Freie Universität Berlin. 05.08.2015. [slides]
  • Equational Reasoning with Context-Free Families of String Diagrams. ICGT 2015. Università degli Studi dell’Aquila (L’Aquila, Italy). 21.07.2015. [slides]
  • !-Graphs with Trivial Overlap are Context-Free. GaM 2015. Queen Mary University of London. 12.04.2015. [slides]
  • The ZX-calculus is incomplete for quantum mechanics. QPL 2014. Kyoto University (Kyoto, Japan). 05.06.2014. [slides]

Other Talks (project meetings, group seminars, etc.)

  • Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. SoftQPro Project Meeting. Paris-Saclay. 06.06.2019. [slides]
  • Inductive Datatypes for Quantum Programming. Postdoc Days@LORIA. Inria (Nancy). 13.05.2019. [slides]
  • Baby’s First Diagrammatic Calculus for Quantum Information Processing. Quantum Information at LSU and Tulane. Tulane University. 30.05.2018. [slides]
  • An abstract model for Proto-Quipper-M extended with general recursion. MURI Project Review 2017. UC Berkeley. 15.12.2017. [slides]
  • An order-enriched categorical model of Proto-Quipper-M. Quantum Lunch. Univeristy of Oxford. 11.07.2017.
  • Towards a Recursive Model for Proto-Quipper. MURI Project Review. Simons Institute (UC Berkeley). 29.11.2016.
  • Higher-order rewriting of String Diagrams. Quantum Group Workshop. University of Oxford. 21.04.2016. [slides]
  • Is ZX complete for Clifford+T? Nobody knows (yet). Quantum Group Workshop. University of Oxford. 06.03.2015. [slides]
  • The ZX calculus is incomplete for quantum mechanics. Quantum Group Workshop. University of Oxford. 02.11.2013. [slides]
  • Exploring Quantum Secret Sharing with the ZX Calculus. Quantum Lunch. University of Oxford. 29.10.2013. [slides]

« back