(Last updated: August 2020)
Academic history
- August 2020 — present: Chancellor’s fellow, University of Strathclyde, department of computer and information sciences
- July 2019 — July 2020: Postdoctoral researcher, Max Planck Institute for Mathematics in the Sciences, Leipzig
- June 2016 — June 2019: Postdoctoral researcher, University of Oxford, department of computer science
- January 2015 — April 2015: Visiting Ph.D. student, University of Mannheim, department of economics
- September 2012 — May 2016: Ph.D. student, Queen Mary University of London, department of electronic engineering & computer science
- October 2008 — June 2012: Master and BA in mathematics & computer science, University of Oxford
Research funding
- 2016–2019: EPSRC mathematical science research fellowship, grant reference EP/N021282/1, approximate value GBP 250 000
Publications
See publications
Supervision – PhD
- 2019–present: Elena Di Lavore, Tallinn University of Technology (co-supervised with Paweł Sobociński)
- 2017–2019: Josef Bolt, University of Oxford (co-supervised with Bob Coecke and Michael Wooldridge), supervised to completion. Thesis title: Probability and nondeterminism in compositional game theory
Supervision – MSc
- 2018–2019: Elena Di Lavore, University of Oxford (co-supervised with Jamie Vicary). Thesis title: Subgame perfection in compositional game theory
Teaching – as lecturer
- 2019: Game theory (masters course) at MPI-MIS Leipzig (course designed and lecture notes written by myself)
Teaching – as TA
- 2016: Quantum computer science (masters course) at Oxford
- 2014, 2016: Automata and formal languages (compulsory undergraduate course) at QMUL
- 2012, 2013, 2014, 2015: Functional programming (masters course) at QMUL
Community activities
- Editor for journal: Compositionality
- Reviewing for journals: Compositionality, MDPI Games, Mathematical Structures in Computer Science, Foundations of Physics, Studia Logica
- Reviewing for conferences with formal proceedings: Logic in Computer Science, Formal Structures for Computation and Deduction, Mathematical Foundations of Programming Semantics, Quantum Physics and Logic, Computer Science Logic
- Organiser: 2019 Applied Category Theory summer school, Workshop on Compositional Approaches for Physics, NLP and Social Sciences, Second Workshop on Open Games
- Programme Committee: Second Workshop on Compositional Structures, 2019 Workshop on Bidirectional Transformations, 2019 Tbilisi Symposium on Logic, Language and Computation
- Edited conference proceedings: Workshop on Compositional Approaches for Physics, NLP and Social Sciences
Selected invited research talks
- April 2019: Games and Logic of Programming (GaLoP), Charles University, Czechia
- November 2018: Shonan seminar on Diagrammatic Methods for Linear and Nonlinear Systems, Japan
- September 2018: First Symposium on Compositional Structures (SYCO), University of Birmingham, UK
- December 2016: Modelling and Analysis of Complex Monetary Economies (MACME), Université Paris 13, France
- July 2016: Workshop on Statistical and Logical Methods of Meaning (SaLMoM), at North American Summer School on Logic, Language and Information (NASSLLI), Rutgers University, USA
- February 2016: Logics for Social Behaviour (LSB), ETH Zürich, Switzerland
- January 2015: Dagstuhl seminar on Coalgebraic Semantics of Reflexive Economics, Germany