Bits are where you think they are. Tiny bits can show up any place. When you look at a bit, it stays the same. But when you look at a tiny bit, it changes. This is seriously weird to people. TINY-BIT-COMPUTERS use this to run very fast.

To make a computer work you need to tell it what to do, by writing your ideas in a way the computer can understand. This is hard, because you have to think like a computer and not like a person. Telling tiny-bit-computers what to do is even harder, because thinking like a tiny-bit-computer and not like a human is seriously hard. I look for ways to explain to tiny-bit-computers what we want in a way that is easier for humans to think about.

To do this I use STUDY-OF-THINGS-TALKING and STUDY-OF-GROUPS-OF-THINGS-TALKING.

- ACM Transactions on Computational Logic (editorial board)
- Compositionality (editorial board)
- Quantum (steering board)

- IFIP Working Group on Foundations of Quantum Computation, 2022-present
- ACT 2022
- QPL 2022
- SYCO (steering committee)
- QCE 2021
- ACT 2021
- QPL 2021 (chair)
- ACT 2020
- QPL 2020
- QPL 2019
- CT 2019
- ACT 2019
- FoSSaCS 2019
- MFPS 2019
- CALCO 2019
- QPL 2018
- QI 2018
- MFPS 2017
- QPL 2017
- IQSA 2017
- FoSSaCS 2016
- QPL 2016 (chair)
- QI 2016
- SLPCS 2016
- QPL 2015 (chair)
- QPL 2014

- Category Theory 2019
- Combining Viewpoints in Quantum Theory 2018
- Categories, Logic, and Physics, Scotland, biannually 2016-2019
- Quantum Physics and Logic 2016
- Quantum Physics and Logic 2015
- The categorical flow of information in quantum physics and linguistics 2010

- EPSRC Early Career Fellowship extension Combining Viewpoints in Quantum Theory 2019-2021
- DOD MURI Semantics, Formal Reasoning, and Tools for Quantum Programming 2016-2019
- EPSRC Early Career Fellowship Combining Viewpoints in Quantum Theory 2013-2018
- NWO Rubicon Quantum Theory and Categorical Logic, 2009-2011