William Simmons

William Simmons

Doctoral Student

Student, Worcester College

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

My current work focusses on category theory for causal structures. In particular, I am investigating properties of directed information signalling in the external correllations of higher-order processes from an abstract process theory without any assumption on their internal structure with respect to spacetime. This allows us to generalise results such as characterisations of spaces of one-way signalling and non-signalling channels in quantum theory to both other process theories and higher-order settings.

I have previously worked on quantum circuit simplification/compiler technology and circuit extraction from MBQC/ZX diagrams. My other academic interests include type systems for quantum programming languages and their relations to formal logics, as well as diagonalisation and measurement reduction in quantum algorithms.

Biography

Activities

• Quantum Group

Supervisors