- Attending Quantum information, quantum groups and operator algebras at Cambridge, November 2024.
- Speaking 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, 2023.
- 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]