Hi, I'm Alex.
I am a New Frontiers Fellow in the School of Electronics and Computer Science at the Univeristy of Southampton. I work in logic accross mathematics, informatics, and philosophy.
Research Theme: Using formal logic to illuminate the structures of reasoning, computation, and decision-making, while connecting these insights to philosophical inquiry and real-world applications.
Outreach: I’m committed to making logic accessible to broader audiences through science writing and public engagement.
MMAth, PhD, AMIMA, Associate Member LMS,
Interests and Projects
I am interested in all areas of logic and its applications, but I am currently concentrating on the following:
Systems Modelling
Policy and Cybersecurity
Artifical Intelligence
Argumentation Theory
Automated Reasoning
Structural Proof Theory
Inferentialism and Proof-theoretic Semantics
and more...