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