• Speaking at CONCUR 2025 in Aarhus, August 26-29, 2025.
• The Quantum Informatics CDT website is live, and applications are open! November 2024.
• New paper Qurts: Automatic quantum uncomputation by affine types with lilfetime with Kengo Hirata accepted to POPL, 19 November, 2024.
• Attended Quantum information, quantum groups and operator algebras programme, Cambridge, November 2024.
• Gave INI seminar, November 14, 2024.
• Appeared in podcast about Quantum Computing for Financial Services, November 4, 2024.
• The CDT in Quantum Informatics is hiring a Centre Manager. Apply here, October 23, 2024.
• Appeared in Quantum Technologies outreach video, October 22, 2024.
• Gave QST seminar at Seoul National University, October 4, 2024. [video]
• Quantum Programming Zoo went live, September 17, 224.
• PhD student Nesta van der Schaaf passed his viva, September 5, 2024.
• Promoted to full professor, August 1, 2024.
• Gave lecture series at Scottish Programming Languages and Verification Summer School, University of Strathclyde, July 29-August 2, 2024.
• Spoke at Computability in Europe, Amsterdam, July 11-12, 2024.
• Spoke at Category Theory 2024, Spain, July 2024.
• Paper The quantum effect: a recipe for Quantum Pi with Jacques Carette, Robin Kaarsgaard, and Amr Sabry accepted at ICFP 2024.
• New paper Compositional reversible computation with Jacques Carette, Robin Kaarsgaard, and Amr Sabry, in Reversible Computation, 29 May 2024.
• Third meeting of CATNIP at Aberdeen, May 3, 2024.
• Centre for Doctoral Training in Quantum Informatics announced, 12 March 2024.
• At least seven PhD studentships available. Deadline: March 31, 2024.
• Paper Ordered locales with Nesta van der Schaaf published, March 8, 2024.
• Paper Axioms for the category of Hilbert spaces and linear contractions published, February 24, 2024.
• PhD student Jesse Sigal passed his viva, January 25, 2024.
• New paper Dagger categories and the complex numbers with Matt Di Meglio, January 15, 2024.
• Second meeting of CATNIP at Strathclyde, December 4, 2023.
• The Quantum Software Lab has a new website! November 3, 2023.
• New paper With a few square roots, quantum computing is as easy as Pi with Jacques Carette, Robin Kaarsgaard, and Amr Sabry, accepted for POPL 2024, October 24, 2023.
• We're hiring! Three vacancies for postdoctoral researchers, three years each, on the RubberDUQ project. Apply here and/or here! Deadline: September 25, 2023.
• Attending Samson Abramsky on Logic and Structure in Computer Science and Beyond workshop, London, September 18-20, 2023.
• New paper Categories of sets with infinite addition with Pablo Andres-Martinez, August 29, 2023.
• Paper Compact inverse categories with Robin Cockett published, August 2023.
• Mentored Adjoint School 2023 research week, July 2023.
• Gave talk at QPL 2023, July 2023.
• Mentored Adjoint School 2023, February-July 2023.
• Giving Theoretical computer science seminar in Birmingham, June 16, 2023.
• Three talks accepted to QPL 2023: Ordered Locales, The Quantum Effect, and Axioms for the category of Hilbert spaces and contractions, May 2, 2023.
• New network CATNIP founded! First meeting will be June 14, 2023.
• Software Centre of Excellence in Quantum and AI with Cisco launched, March 9, 2023.
• New paper Ordered locales with Nesta van der Schaaf, March 8, 2023.
• PhD student Nuiok Dicaire passed her viva, February 22, 2023.
• MScRes student Mateusz Kupper passed his examination, February 20, 2023.
• Paper Sheaf representation of monoidal categories with Rui Soares Barbosa was published in Advances in Mathematics, February 8, 2023.
• New paper The quantum effect: a recipe for Quantum Pi with Jacques Carette, Robin Kaarsgaard, and Amr Sabry, February 6, 2023.
• New paper Duoidally enriched Freyd categories with Jesse Sigal, accepted at RAMiCS, January 13, 2023.
• Organised 10th Symposium on Compositional Structures in Edinburgh, December 19-20, 2022.
• Gave seminar at Cambridge Quantum, November 18, 2022.
• Gave London Algebra Colloquium at Queen Mary University London, November 17, 2022.
• Gave Geometric Methods in Mathematics seminar at Technical University Dresden, November 15, 2022.
• New paper Axioms for the category of Hilbert spaces and linear contractions with Andre Kornell and Nesta van der Schaaf, November 8, 2022.
• PhD student Pablo Andres-Martinez passed his PhD viva, September 1, 2022.
• Gave course at summer school Bicategories, Categorification and Quantum Theory, University of Leeds, July, 2022.
• Gave tutorial at Foundational Methods in Computer Science, Calgary, June 21-26, 2022.
• New paper Universal properties of partial quantum maps with Pablo Andres-Martinez and Robin Kaarsgaard accepted for Quantum Physics and Logic, June 13, 2022.
• Gave Algebra seminar, Aberdeen, April 27, 2022.
• We're at the Edinburgh Science Festival with a drop-in family activity Quantum Spies, April 9-13, 2022.
• New postdoc Robert Booth started, April 1, 2022.
• Joined IFIP Working Group on Foundations of Quantum Computation, April 1, 2022.
• Gave QuaCS seminar, March 22, 2022.
• We made a group photo, March 5, 2022.
• Paper Axioms for the category of Hilbert spaces with Andre Kornell was published in Proceedings of the National Academy of Sciences, February 25, 2022.
• Paper Localisable monads with Carmen Constantin and Nuiok Dicaire was published in Computer Science Logic, January 27, 2022.
• Paper "Weakly measured while loops: peeking at quantum states" with Pablo Andres-Martinez published in Quantum Science and Technology, January 6, 2022.
• Gave Applied Topology Seminar at EPFL, December 7, 2021.
• Gave mini course at the Atlantic Algebra Centre, November 16-25, 2021. [videos]
• Paper The CBH characterisation theorem beyond algebraic quantum theory with Aleks Kissinger published in Information and Computation, 20 November 2021.
• Gave Online Worldwide seminar on Logic and Semantics, November 10, 2021. [video] [slides]
• Gave University Quantum Symmetries Lecture, November 4, 2021.
• Gave Edinburgh Mathematical Physics Group seminar, November 3, 2021.
• Gave Algebra seminar at Masaryk University, October 28, 2021.
• Gave Ottawa-Carleton Logic seminar, October 14, 2021.
• Gave Categorical Late Lunch seminar, October 13, 2021.
• Paper Localisable monads with Carmen Constantin and Nuiok Dicaire was accepted for Computer Science Logic 2022, September 29, 2021.
• Paper Quantum Information Effects with Robin Kaarsgaard was accepted for POPL 2022, September 28, 2021.
• New paper "Axioms for the category of Hilbert spaces" with Andre Kornell, September 16, 2021.
• Joined the ACM Transactions on Computational Logic editorial board, September 7, 2021.
• Book "Categories for Quantum Theory" with J. Vicary translated to Japanese by H. Kawabe and published by Morikita Publishing, August 2021.
• New paper "Localisable Monads" with Carmen Constantin and Nuiok Dicaire, August 3, 2021.
• New paper "Quantum Information Effects" with R. Kaarsgaard, July 27, 2021.
• Programme Committee member for IEEE Quantum Computing and Engineering, October 2021.
• Gave Topos Institute Colloquium, June 17, 2021. [slides] [video]
• New paper "Sheaf representation of monoidal categories" with R. Soares Barbosa, Jun 17, 2021.
• Paper "Tensor-restriction categories" with J. S. P. Lemay published, June 10, 2021.
• Programme Committee member for Applied Category Theory 2021, July 2021.
• Programme Committee Chair for Quantum Physics and Logic, June 2021.
• New paper "Bennett and Stinespring, together at last" with R. Kaarsgaard, February 18, 2021.
• Gave Categorical Late Lunch, 3 February 2021.
• My student Pau Enrique Moliner passed his PhD examination, 7 January 2021.
• Gave "Calgary Peripatetic Seminar", 20 November 2020. [annotated slides]
• Paper The CBH characterisation theorem beyond algebraic quantum theory with Aleks Kissinger accepted for publication in Information and Computation, 9 November 2020.
• New paper "Tensor-restriction categories" with J. S. Pacaud Lemay, September 28, 2020.
• New paper "A quantum while loop for amplitude amplification with P. Andres-Martinez, with video poster at QuAlg, September 21, 2020.
• New PhD student Nesta van der Schaaf started, September 2020.
• Summer student Ronan Dance wrote a blog, August 2020.
• Paper Topos quantum theory with short posets with J. Harding accepted for publication in Order, May 22, 2020.
• Robert Furber started as a postdoctoral researcher in Edinburgh, May 1, 2020.
• Carmen Constantin started as a postdoctoral researcher in Edinburgh, Mar 16, 2020.
• Paper Tensor topology accepted for Journal for Pure and Applied Algebra, Mar 7, 2020.
• The book Categories for Quantum Theory with Jamie Vicary has been published, November 14, 2019!
• Invited pure mathematics seminar in Leicester, November 12, 2019.
• Paper Automated distribution of quantum circuits with Pablo Andres Martinez accepted for publication in Physical Review A, August 2, 2019.
• Attended Higher rank graphs workshop in Edinburgh, July 15-17, 2019.
• Spoke at Edinburgh-Paris joint Quantum workshop, July 15-17, 2019. [slides]
• Organised Category Theory 2019 in Edinburgh, July 7-13, 2019.
• Spoke at Category Theory 2019, Edinburgh, July 8, 2019. [slides]
• New paper Compact inverse categories with Robin Cockett, June 10, 2019.
• New paper Monoidal characterisation of groupoids and connectors with Marino Gran and Sean Tull accepted for Topology and its Applications, June 5, 2019.
• New paper Ontological models for quantum theory as functors with Andru Gheorghiu accepted for QPL 2019 May 22, 2019.
• New paper Topos quantum theory with short posets with John Harding, March 5, 2019.
• My PhD student Martti Karvonen passed his viva, December 14, 2018.
• New paper Automated distribution of quantum circuits with Pablo Andres Martinez, November 27, 2018.
• Attended Royal Society course on Introduction to Public Engagement, October 24, 2018.
• My PhD student Sean Tull passed his viva, November 7, 2018.
• New PhD student Nuiok Dicaire started, October 15, 2018.
• New paper Tensor topology with Pau Enrique Moliner and Sean Tull, October 2, 2018.
• My EPSRC Fellowship was extended for 3 more years, September 12, 2018.
• Became a Fellow of the Higher Education Academy, September 5, 2018.
• The journal Compositionality is now open for submissions, August 24, 2018.
• My thesis has been translated in Japanese, August 8, 2018.
• Sean Tull started as a postdoctoral researcher in Edinburgh, August 6, 2018.
• Spoke at Quantum Structures conference in Kazan, Jul 16-20, 2018. [slides]
• Spoke at Category Theory conference in Ponta Delgada, Jul 8-14, 2018. [slides]
• Spoke at Mathematical Foundations of Programming Semantics conference, Jun 6-9, 2018. [slides]
• Attended Quantum Physics and Logic conference, Jun 3-7, 2018.
• Gave LFCS lab lunch, May 29, 2018. [slides]
• My student Vaia Patta got her PhD, May 15, 2018.
• New paper Reversible effects as inverse arrows with Robin Kaarsgaard and Martti Karvonen accepted to MFPS 2018, May 14, 2018.
• Organised Combining Viewpoints in Quantum Theory workshop in Edinburgh, Mar 19-23, 2017.
• New paper Limits in dagger categories with Martti Karvonen, Mar 18, 2018.
• Lectured course at Estonian Winter Schools in Computer Science, Palmse, Mar 4-9, 2018.
• Spoke at QUISCO meeting, Edinburgh, Jan 30, 2018. [slides]
• Invited seminar at Intensional and extensional aspects of computation, Tokyo, January 2018. [slides]
• Blog post about FreeTikZ, Jan 24, 2018.
• Wrote FreeTikZ, a webbased tool converting freehand drawing into tikz, Jan 15, 2018.
• Spoke at Semantics and Tools for Functional Quantum Programming Languages workshop, Berkeley, Dec 15, 2017. [slides]
• Spoke at Logical Structures in Computing workshop, Berkeley, Dec 11-14, 2017. [slides]
• Organising Categories Logic and Physics workshop in Edinburgh, November 2017.
• Research visit by Noam Zeilberger in Edinburgh, November 20-22, 2017.
• Invited Category Theory Seminar in Louvain-la-Neuve, November 15, 2017.
• Research visit to Marino Gran in Louvain-la-Neuve, November 13-16, 2017.
• New paper Boolean subalgebras of orthoalgebras with J. Harding, B. Lindenhovius, and M. Navara, November 10, 2017.
• Invited Mathematics, Statistics and Physics seminar at Newcastle University, October 31, 2017.
• Invited Functional Programming seminar at University of St Andrews, Oct 5, 2017. [slides]
• Attended meeting of the Edinburgh Mathematical Society, Edinburgh, Sep 27-29, 2017.
• Paper "Denotational validation of higher-order Bayesian inference" accepted for POPL, September, 2017.
• Paper Can a quantum state over time resemble a quantum state at a single time? published in Proceedings of the Royal Society A, September 20, 2017.
• Attending QUISCO workshop in Glasgow, Sep 13, 2017.
• New PhD student Pablo Andres Martinez, September 2017.
• Summer student Leo Lobski wrote a blog, August 2017.
• Taught a PhD summer course in Pisa, July 10-22, 2017.
• Speaking at conference Quantum Physics and Logic in Nijmegen, July 3-7, 2017. [slides]
• Attended workshop on Applications of operator algebras: order, disorder and symmetry in Edinburgh, June 26-30, 2017.
• Attended conference Logic in Computer Science in Reykjavik, June 20-23, 2017.
• New paper Purity through factorisation with Oscar Cunningham.
• New paper Space in monoidal categories with Pau Enrique Moliner and Sean Tull
• New paper Frobenius structures over Hilbert C*-modules with Manny Reyes.
• Spoke at Categories Logic and Physics Scotland in Glasgow, April 5, 2017. [slides]
• Invited lecture at Young Functional Analysts' Workshop in Glasgow, March 29-31, 2017.
• Gave MAXIMALS seminar at Heriot-Watt University, March 22, 2017. [slides]
• Attending probabilistic programming languages workshop at Bellairs, March 10-17, 2017.
• Computer and Information Sciences seminar at University of Strathclyde, February 15, 2017. [slides]
• LFCS Lab lunch talk, February 7, 2017. [slides]
• New paper A convenient category for higher-order probability theory with Ohad Kammar, Sam Staton, and Hongseok Yang, January 10, 2016.
• Gave Category Theory seminar at Vrije Universiteit Brussel, December 5, 2016. [slides]
• Research visit to Marino Gran in Louvain-la-Neuve, December 4-9, 2016.
• Invited lecture at Scottish Operator Algebras Research meeting in Glasgow, December 2-3, 2016. [slides]
• Organising Categories Logic and Physics Scotland in Glasgow, November 30, 2016.
• Paper Monads on dagger categories with Martti Karvonen accepted for Theory and Applications of Categories, November 2, 2016.
• Elected founding editor of Quantum journal, October 2016.
• New PhD student Pau Enrique Moliner, october 2016.
• Gave Logical Structures in Computation seminar in Berkeley, October 2016. [slides]
• Invited lecture at Uncertainty in Computation in Berkeley, October 2016. [slides] [video]
• Research visit by Phil Scott in Edinburgh, September-November 2016.
• Attended Logical Structures in Computation in Berkeley, September 29-November 1, 2016.
• Elected Councillor of the International Quantum Structures Association, July 15, 2016.
• New paper Can a quantum state over time resemble a quantum state at a single time? with Dom Horsman, Jon Barrett, Matt Pusey, and Rob Spekkens, July 14, 2016.
• New paper Discretization of C*-algebras with Manny Reyes, July 13, 2016.
• Research visit by John Harding in Edinburgh, July 6-10, 2016.
• Performed at Bright Club Edinburgh, June 28, 2016. [video]
• [more ...]
• Joined Reversible computing COST action, June 28, 2016.
• Chaired and organised Quantum Physics and Logic in Glasgow, June 6-10, 2016.
• Research visit by Ravi Kunjwal in Edinburgh, June 3, 2016.
• Research visit by Oscar Cunningham in Edinburgh, May 30-June 3, 2016.
• Research visit to Manny Reyes in Brunswick, May 16-22, 2016.
• Gave Edinburgh Mathematical Physics Group seminar, May 4, 2016.
• Invited lecture at Workshop on Information and Processes in Paris, April 26-29, 2016. [slides]
• New paper Can quantum theory be characterized in information-theoretic terms with Aleks Kissinger, April 20, 2016.
• Research visit by Sean Tull in Edinburgh, April 11-15, 2016.
• Organised Categories Logic and Physics Scotland in Edinburgh, April 14, 2016.
• Attended LFCS30 in Edinburgh, April 12-13, 2016.
• Attended WadlerFest in Edinburgh, April 11-12, 2016.
• Paper Semantics for probabilistic programming accepted for LiCS, April 4, 2016.
• Attended Scottish Operator Algebra Research meeting in Aberdeen, March 16-17, 2016.
• Gave Mathematical Physics seminar in York, February 25, 2016. [slides]
• New MSc course Categories and Quantum Informatics approved, February 17, 2016.
• New paper Monads on dagger categories with Martti Karvonen, February 13, 2016.
• Research visit to Marino Gran in Louvain-la-Neuve, January 26-28, 2016.
• Attended Research leader programme, January 23-March 9, 2016.
• New paper Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints with Sam Staton, Hongseok Yang, Ohad Kammar, and Frank Wood, January 19, 2016.
• Joined the Scottish Operator Algebra Research network, January 10, 2016.
• Published paper Reversible monadic computing with Martti Karvonen, December 21, 2015.
• Attended Quantum Information Scotland day in Glasgow, December 4, 2016.
• New paper The category of matroids with Vaia Patta, December 4, 2015.
• Published paper Axiomatizing complete positivity with Oscar Cunningham, November 5, 2015.
• Published paper Categories of relations as models of quantum theory with Sean Tull, November 5, 2015.
• Edited Proceedings of the 12th International Workshop on Quantum Physics and Logic with Peter Selinger and Jamie Vicary, November 4, 2015.
• Gave LFCS Lab lunch talk, October 27, 2016. [slides]
• Invited lectures at Higher TQFT and categorical quantum mechanics workshop in Vienna, October 19-23, 2015. [slides]
• Research visit by Bram Westerbaan in Edinburgh, October 16-November 6, 2015.
• Joined the Quantum Information Scotland network, October 12, 2016.
• Programme committee of Foundations of Software Science and Computer Structures, October 10, 2015.
• New PhD student Martti Karvonen, October 1, 2015.
• Joined the School of Informatics of the University of Edinburgh, October 1, 2015.
• Invited lecture at Domains XII in Cork, August 25-28, 2015. [slides]
• Published paper Domains of commutative C*-subalgebras with Bert Lindenhovius, July 6-10, 2015.
• Invited lecture at Conference on Algebra and Coalgebra in Computer Science in Nijmegen, June 24-26, 2015. [slides]
• Attended Mathematical Foundations of Programming Semantics conference in Nijmegen, June 22-25, 2015.
• Invited lecture at Amsterdam Quantum Logic workshop in Amsterdam, May 7-8, 2015. [slides]