- Attending Quantum Structures conference in Kazan, Jul 16-20, 2018.
- Attending Category Theory conference in Ponta Delgada, Jul 8-14, 2018.
- Attending Mathematical Foundations of Programming Semantics conference, Jun 6-9, 2018.
- Attending Quantum Physics and Logic conference, Jun 3-7, 2018.
- Giving 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.
- Organising 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.
- Speaking 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]