I am interested in applying methods from category theory to understand causality in a spacetime of quantum processes. In particular I am interested in providing categorical semantics to causally exotic scenarios: starting from time-travel and cyclic causal structures, I am now investigating the operational nature of indefinite causality. The set-up and outcomes of an experiment presupposes the existence of causally stable surroundings, where the notions of cause and consequence take their familiar form independently of the specific processes being performed. Failing these assumptions, how can we make sure that a mathematical model of quantum theory in the presence of dynamical spacetimes is even empirically testable?
I grew up as a pure mathematician at the University of St Andrews with some research experience in analysis and combinatorics. I graduated from Oxford with an MSc at the Mathematical Institute where I become interested with the idea of studying quantum foundations using categorical tools. Nevertheless, I remain of the opinion that Proust understands time better than physicists.
DPhil in Computer Science (2018-ongoing)
Institution: University of Oxford
Supervisor: Bob Coecke & Stefano Gogioso
MSc in Mathematics and Foundations of Computer Science (2017-2018)
Institution: University of Oxford, St Catherine's College
Thesis: `Categorical Semantics for Time Travel'
Supervisor: Dr Stefano Gogioso and Prof Bob Coecke
MMath in Mathematics (2013-2017)
Institution: University of St Andrews
Thesis: ‘A Spectral Theory of Expansion and Expander Graphs’
Supervisor: Prof Peter Cameron
Michaelmas 2020: Tutor for `Categories Proofs and Processes'
Michaelmas 2020: Tutor for `Quantum Processes and Computation'
Summer 2020: Teaching Assistant for the Quantum Computing course, part of the MSc in Software Engineering
Michaelmas 2019: Tutor for `Categories Proofs and Processes'
Trinity 2019: Teaching Assistant for `Introduction to Quantum Information'
- Giving Operational Meaning to the Superposition of Causal Orders. Pinzani N. (2020). arXiv preprint arXiv:2003.13306
- Categorical Semantics for Time Travel. Pinzani N., Gogioso S., Coecke B. (2019). 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-20.
- On the average box dimensions of graphs of typical continuous functions. B Adam-Day, C Ashcroft, L Olsen, N Pinzani, A Rizzoli, J Rowe (2018). Acta Mathematica Hungarica 156 (2), 263-302.