Talks

« back

Invited Talks (international conferences)

  • Inductive and Recursive Types for Quantum Programming. Joint special session of QPL 2020 (Quantum Physics and Logic) and MFPS 2020 (Mathematical Foundations of Programming Semantics) on Quantum Programming Languages. June 2020. [video & slides]

Invited Talks (international seminars, special events, etc.)

  • 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.
  • Quantomatic – current state and case study. Celebrating 10 Years of Categorical Quantum Mechanics. Oxford, UK. 17.10.2014. [slides]

Invited Talks (group seminars)

  • Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. Invited Seminar Talk. LRI, Saclay, France. 07.02.2020. [slides]
  • Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory. Invited Seminar Talk. IRIF, Paris, France. 26.11.2019. [slides]
  • Equational reasoning with context-free families of string diagrams. Invited Seminar Talk. Radboud University, Nijmegen, The Netherlands. 02.12.2015.

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