CV

Previous affiliations

Talks

  1. September 2024: « Measurement-based quantum computing and the ZX-calculus » (video recording available). The State of ZX Calculus, ZX-calculus seminar (online) (invited)
  2. April 2024: « The how and why of translating between the circuit model and the one-way model of quantum computing » (video recording available). Foundations of Quantum Computational Advantage (FoQaCiA) Workshop, Perimeter Institute, Canada (invited)
  3. April 2024: « Flow-preserving rewriting in the ZX-calculus ». SYCO 12, University of Birmingham, UK (invited)
  4. May 2023: « Using graphical languages for quantum computing to think about classical counting complexity », MOCQUA seminar, LORIA, France (invited).
  5. March 2023: « Co-creating an ‘EDI in computer science teaching’ toolkit », lightning talk at the SIGCSE 2023 Technical Symposium (online).
  6. November 2022: « Holant clones and approximation of holant problems ». Dagstuhl Seminar 22482, Counting and Sampling: Algorithms and Complexity, Germany (invited).
  7. March 2022: « Optimisation of quantum computations using the graphical ZX-calculus ». Journées Nationales de l’Informatique Mathématique, Université de Lille, France (invited).
  8. January 2022: « Quantum computing and the classical complexity of computational counting ». CQIF Seminar, University of Cambridge, UK (invited).
  9. May 2021: « Counting complexity and quantum information theory ». Combinatorics Seminar, University of Birmingham, UK (invited).
  10. November 2020: « There and back again: A circuit extraction tale ». Q-Turn: changing paradigms in quantum science (online).
  11. October 2020: « Classical complexity of counting problems via quantum computing ». London Hopper Colloquium, UK (invited).
  12. April 2020: « Counting complexity and quantum information theory ». DIMAP seminar, University of Warwick, UK (invited).
  13. November 2019: « Categorical quantum computing using the ZX-calculus » Postgraduate Conference in Category Theory and its Applications, Leicester, UK (invited).
  14. September 2019: « Optimising quantum computations using the ZX-calculus ». Symposium on Quantum Computing and AI: Technology, Techniques and Ethics, Birmingham, UK (invited).
  15. September 2019: « Holant problems and quantum information theory ». Theoretical Computer Science Seminar, Shanghai University of Finance and Economics, Shanghai, China (invited).
  16. May 2019: « Using the completeness of the ZX-calculus to classify the complexity of computational counting problems ». Quantum Group Workshop, University of Oxford, UK.
  17. November 2018: « Quantum computing and holant problems ». Q-Turn: changing paradigms in quantum science, Florianópolis, Brazil (invited).
  18. November 2018, « Classifying the computational complexity of counting problems ». Seminar at the School of Mathematics, Statistics, and Applied Mathematics, National University of Ireland Galway, Ireland (invited).
  19. October 2018, « Quantum computing and holant problems ». Quantum Innovators in computer science and mathematics, Institute for Quantum Computing, University of Waterloo, Canada (invited).
  20. October 2018, « Completing the ZX-calculus ». Theoretical computer science seminar, School of Computer Science, University of Birmingham, UK (invited).
  21. July 2018, « Holant problems and quantum information theory ». Queen Mary Algorithms Day, Queen Mary University of London, UK (invited).
  22. July 2018, « A complete dichotomy for complex-valued Holantc« , 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Prague, Czech Republic.
  23. May 2018, « The future of the ZX-calculus ». Oxford Advanced Seminar on Informatic Structures, Department of Computer Science, University of Oxford, UK (invited).
  24. May 2018, « The ZH-calculus ». Workshop Celebrating 10 Years of the ZX-calculus, University of Oxford, UK.
  25. January 2018, « Quantum computing and holant problems ». 21st Annual Conference on Quantum Information Processing (QIP 2018), Delft University of Technology, Delft, the Netherlands.
  26. October 2017, « Holant problems and quantum information theory ». Algorithms and Complexity Theory Seminar, Department of Computer Science, University of Oxford, UK (invited).
  27. August 2017, « Holant problems and quantum information theory ». Dagstuhl Seminar 17341 « Computational Counting », Schloss Dagstuhl — Leibniz-Zentrum für Informatik, Dagstuhl, Germany (invited).
  28. July 2017, « The ZX-calculus and completeness ». Joint talk at the 14th Workshop on Quantum Physics and Logic (QPL 2017) and the Workshop on Quantum Structures organised by the International Quantum Structures Association (IQSA), Nijmegen, the Netherlands (invited).
  29. July 2017, « A new holant dichotomy inspired by quantum computation ». 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), University of Warsaw, Poland.
  30. June 2017, « A new holant dichotomy inspired by quantum computation ». 12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017), Université Pierre et Marie Curie, Paris, France.
  31. May 2017, « A new holant dichotomy inspired by quantum computation ». 14th Central European Quantum Information Processing Workshop (CEQIP 2017), Smolenice, Slovakia.
  32. April 2017, « The holant problem and classical simulation of quantum computations ». Quantum Information Theory Group Seminar, University of Bristol, UK (invited).
  33. November 2016, « The holant problem and classical simulation of quantum computations ». Oxford Advanced Seminar on Informatic Structures, Department of Computer Science, University of Oxford, UK (invited).
  34. June 2016, « A simplified stabilizer ZX-calculus ». 13th Workshop on Quantum Physics and Logic (QPL 2016), University of Strathclyde, Glasgow.
  35. October 2015, « Completeness Results for Graphical Quantum Process Languages ». Centre for Quantum Information and Foundations Seminar, Department of Applied Mathematics and Theoretical Physics, University of Cambridge, UK (invited).
  36. July 2015, « Making the stabilizer ZX-calculus complete for scalars ». 12th Workshop on Quantum Physics and Logic (QPL 2015), University of Oxford, UK.
  37. December 2014, « Completeness Results for Graphical Quantum Process Languages ». Perimeter Institute Quantum Discussions, Perimeter Institute, Waterloo, Ontario, Canada (invited).
  38. October 2014, « (In)Completeness results for the ZX-calculus ». Workshop Celebrating 10 Years of Categorical Quantum Mechanics, University of Oxford, UK.
  39. June 2014, « Completeness results for the ZX-calculus for quantum computation ». Department of Computer Science Student Conference, University of Oxford, UK (joint winner of prize for best talk).
  40. June 2014, « The ZX-calculus is approximately complete for single qubits ». 11th Workshop on Quantum Physics and Logic (QPL 2014), Kyoto University, Kyoto, Japan.
  41. April 2013, « The ZX-calculus is complete for stabilizer quantum mechanics ». Postgraduate Conference on Quantum Fields, Gravity and Information, University of Nottingham, UK.
  42. March 2013, « The ZX-calculus is complete for stabilizer quantum mechanics ». Second Workshop on Quantum Foundations, Bellairs Research Centre, McGill University, Holetown, Barbados (invited).
  43. October 2012, « The ZX-calculus is complete for stabilizer quantum mechanics ». 9th Workshop on Quantum Physics and Logic (QPL 2012), Université Libre de Bruxelles, Brussels, Belgium.