Vladimir Zamdzhiev

Research Scientist

About Me

I am a permanent researcher at Inria. I am part of the MOCQUA team located at LORIA in Nancy, France.

My research interests are in quantum and probabilistic programming languages, categorical quantum mechanics, string diagrams and category theory.

I am originally from Sofia, Bulgaria, where I was born and raised. I can speak English (fluent), Bulgarian (native) and a bit of French.

Employment

Inria

https://www.inria.fr/en

Permanent Research Scientist

October 2020 -

Permanent researcher in the MOCQUA team at Inria/LORIA.

LORIA

https://www.loria.fr/en/

Postdoctoral Fellow

September 2018 - September 2020

Quantum programming languages.
Principal Investigator: Simon Perdrix.
Supported by the ANR/SoftQPRO and PIA-GDN/Quantex grants.

Tulane University

https://tulane.edu/

Postdoctoral Fellow

September 2016 - August 2018

Circuit description languages for quantum programming.
Principal Investigator: Michael Mislove.
Supported by the MURI grant Semantics, Formal Reasoning, and Tools For Quantum Programming.

Education

University of Oxford

PhD Computer Science

2012 - 2016

University of Oxford

MSc Computer Science (Distinction)

2011 - 2012

Jacobs University Bremen

BSc Mathematics; BSc Computer Science

2008 - 2011

Prior to that, I studied at the Sofia High School of Mathematics in Sofia, Bulgaria.

Papers

  • Central Submonads and Notions of Computation, with Titouan Carette and Louis Lemonnier.
    Preprint. [arxiv | hal]
  • Quantum Expectation Transformers for Cost Analysis, with Martin Avanzini, Georg Moser, Romain Péchoux and Simon Perdrix.
    LICS 2022 (Logic in Computer Science), to appear. [hal | arxiv]
  • Semantics for Variational Quantum Programming, with Xiaodong Jia, Andre Kornell, Bert Lindenhovius and Michael Mislove.
    POPL 2022 (Principles of Programming Languages). [doi | arxiv]
  • Qimaera: Type-safe (Variational) Quantum Programming in Idris, with Liliane-Joy Dandy and Emmanuel Jeandel.
    Preprint. [arxiv | software]
  • Commutative Monads for Probabilistic Programming Languages, with Xiaodong Jia, Bert Lindenhovius and Michael Mislove.
    Submitted. Extended version of our LICS 2021 paper. [pdf]
  • The Central Valuations Monad, with Xiaodong Jia and Michael Mislove.
    CALCO 2021 (Conference on Algebra and Coalgebra in Computer Science ). Early Ideas Track. [doi | arxiv ]
  • Commutative Monads for Probabilistic Programming Languages, with Xiaodong Jia, Bert Lindenhovius and Michael Mislove.
    LICS 2021 (Logic in Computer Science). [doi | arxiv]
  • Quantum Programming with Inductive Datatypes, with Romain Péchoux, Simon Perdrix and Mathys Rennela.
    Submitted. Extended version of our FoSSaCS 2020 paper. [pdf]
  • Semantics for a Lambda Calculus for String Diagrams, with Bert Lindenhovius and Michael Mislove.
    Outstanding Contributions to Logic (Volume for Samson Abramsky), to appear. [pdf]
  • Computational Adequacy for Substructural Lambda Calculi.
    ACT 2020 (Applied Category Theory). [doi = arxiv]
  • Semantics for first-order affine inductive data types via slice categories.
    CMCS 2020 (Coalgebraic Methods in Computer Science). [doi | arxiv]
  • LNL-FPC: The Linear/Non-linear Fixpoint Calculus, with Bert Lindenhovius and Michael Mislove.
    LMCS (Logical Methods in Computer Science). [doi | arxiv]
  • Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory, with Romain Péchoux, Simon Perdrix and Mathys Rennela.
    FoSSaCS 2020 (Foundations of Software Science and Computation Structures). [doi | arxiv]
  • Mixed Linear and Non-linear Recursive Types, with Bert Lindenhovius and Michael Mislove.
    ICFP 2019 (International Conference on Functional Programming). [doi | arxiv]
  • Reflecting Algebraically Compact Functors.
    ACT 2019 (Applied Category Theory). [doi = arxiv]
  • Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams, with Bert Lindenhovius and Michael Mislove.
    LICS 2018 (Logic in Computer Science). [doi | arxiv]
  • A Framework for Rewriting Families of String Diagrams.
    TERMGRAPH 2018 (Computing with Terms and Graphs). [doi = arxiv]
  • Rewriting Context-free Families of String Diagrams.
    PhD Thesis (University of Oxford, 2016). [arxiv]
  • Quantomatic: A Proof Assistant for Diagrammatic Reasoning, with Aleks Kissinger.
    CADE 2015 (Conference on Automated Deduction). [doi | arxiv]
  • Equational Reasoning with Context-Free Families of String Diagrams, with Aleks Kissinger.
    ICGT 2015 (International Conference on Graph Transformation). [doi | arxiv]
  • !-Graphs with Trivial Overlap are Context-Free, with Aleks Kissinger.
    GaM 2015 (Graphs as Models). [doi = arxiv]
  • The ZX-calculus is incomplete for quantum mechanics, with Christian Schröder de Witt.
    QPL 2014 (Quantum Physics and Logic). [doi = arxiv]
  • An Abstract Approach towards Quantum Secret Sharing.
    MSc Thesis (University of Oxford, 2012). [pdf]
  • MathML-aware Article Conversion from LaTeX, with Heinrich Stamerjohanns, Deyan Ginev, Catalin David, Dimitar Misev and Michael Kohlhase.
    DML 2009 (Towards a Digital Mathematics Library). [published version]

Special Interest Groups

  • Member of the IFIP TC1/TC2 Working Group on Foundations of Quantum Computation (under creation).

Program Committees

  • QPL 2022. PC member for the international conference on Quantum Physics and Logic in 2022.
  • ACT 2022. PC member for the international conference on Applied Category Theory in 2022.
  • PlanQC 2022. PC member for the international workshop on Programming Languages for Quantum Computing in 2022.
  • WADT 2022. PC member for the international Workshop on Algebraic Development Techniques in 2022.
  • ACT 2021. PC member for the international conference on Applied Category Theory in 2021.
  • QPL 2021. PC member for the international conference on Quantum Physics and Logic in 2021.
  • PlanQC 2021. PC member for the international workshop on Programming Languages for Quantum Computing in 2021.

Organisation

  • MFPS & QPL 2020. Organiser for the joint virtual conferences during the Covid-19 pandemic.

Supervision

  • Hugo Massonnat. Research internship on quantum programming (March – July 2022).
  • Liliane-Joy Dandy. Research internship on quantum programming (March – July 2021). “Research Internship Prize” at École Polytechnique. Paper: Qimaera: Type-safe (Variational) Quantum Programming in Idris, with Liliane-Joy Dandy and Emmanuel Jeandel. Preprint. [pdf | software]

Research Visits

Reviewing

Conferences:

CSL 2021 (Computer Science Logic), QIP 2020 (Quantim Information Processing), FoSSaCS 2020 (Foundations of Software Science and Computation Structures), LICS 2018/2019(x3)/2020(x3)/2021 (Logic in Computer Science), MFCS 2017/2021 (Mathematical Foundations of Computer Science), ESOP 2022 (European Symposium on Programming).

Journals:

LMCS (Logical Methods in Computer Science), TOPLAS (ACM Transactions on Programming Languages and Systems), ACS (Applied Categorical Structures), TQC (ACM Transactions on Quantum Computing), Quantum.

Series

Outstanding Contributions to Logic (Volume for Samson Abramsky).

Software

  • Qimaera: Idris libraries for type safe (variational) quantum programming.
  • When I was a PhD student at Oxford, I was one of the developers of Quantomatic, which is a diagrammatic proof assistant with primary application in quantum information processing.

Teaching

  • Quantum Computing. Lecturer, Université de Lorraine. Winter 2021, Winter 2022.
  • Programming in Haskell. Lecturer, Université de Lorraine. Winter 2021.
  • Discrete Mathematics. Lecturer, Tulane University. Spring 2017. [Course Website]
  • Categorical Quantum Mechanics. Teaching Assistant, University of Oxford. Spring 2014, Spring 2015.
  • Categories, Proofs and Processes. Teaching Assistant, University of Oxford. Fall 2014.
  • Quantum Computer Science. Teaching Assistant, University of Oxford. Fall 2013, Fall 2014.
  • Lambda Calculus and Types. Teaching Assistant, University of Oxford. Spring 2014.
  • Operating Systems. Teaching Assistant, Jacobs University Bremen. Spring 2011.
  • Formal Languages and Logic. Teaching Assistant, Jacobs University Bremen. Fall 2010.
  • Computability and Complexity. Teaching Assistant, Jacobs University Bremen. Spring 2010.

Talks (Selection)

A selection of talks is presented below. The complete list of my talks is available here.

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.)

  • Semantics for Variational Quantum Programming. Logic, Quantum Computing, and Artificial Intelligence. Virtual. 03.07.2021.
  • Recursive types for linear/non-linear quantum programming. Dagstuhl Seminar on Quantum Programming Languages. Wadern, Germany. 17.09.2018. [slides]
  • Baby’s First Diagrammatic Calculus for Quantum Information Processing. Logical Aspects of Quantum Information. Lorentz Center, Leiden, The Netherlands. 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, UK. 12.10.2017. [slides]
  • Rewriting Families of Quantum Circuits. Logic Lounge. Simons Institute (UC Berkeley, USA). 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)

  • Semantics for first-order affine inductive data types via slice categories. Invited Seminar Talk. Concurrent Games Cafe. [slides]
  • 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)

  • 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]

Contributed Talks (with no formal proceedings)

  • Commutative Monads for Probability in Domain Theory. Logic of Probabilistic Programming. CIRM, Marseille, France, 04.02.2022. [website]
  • 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]

Awards

  • Scatcherd Scholarship for the maxium duration of 3 years (fully-funded scholarship awarded to 9 European graduate students at University of Oxford).
  • MSc degree awarded with distinction for high academic performance.
  • Member of the President’s List for academic achievement for all three academic years at Jacobs University Bremen.