Research & Projects
-
Research interest
Category Theory
Double categories, categorical logic, bicategories, and nice ways these can be used
-
Research interest
Categorical Probability
Markov Categories and Giry Monads and much more to make probability easier through constructive and synthetic methods. I'd like to be able to do control theory and mathematical finance in string diagrams.
-
Research interest
Systems Theories
How to build good systems and how things reason with this. Particularly through DOTS and cybernetic-type theories.
-
Research Interest
Causality
Quantum and classical causal models and string diagrams.
Curriculum Vitae
Education
-
2026 – 2027
MSc Pure Mathematics and Mathematical Logic
University of Manchester
-
2022 – 2025
BSc Mathematics
University of Manchester
Experience
-
November 2025 – February 2026
Dovetail Research Fellow
Advanced Research + Invention Agency (ARIA)
-
June 2025 – November 2025
Data Scientist
BAE Systems
-
June 2024 – September 2024
AI Researcher
DSTL