Hi, I'm Alex.
Hi, I'm Alex.
I am a Research Fellow in the Department of Computer Science (PPLV Group) at University College London, part of the IRIS Grant. I work in logic accross mathematics, informatics, and philosophy.
MMAth, PhD, AMIMA, Associate Member LMS,
Interests and Projects
Interests and Projects
I am interested in all areas of logic and its applications, but I am currently concentrating on the following:
Structural Proof Theory, Proof-search
Inferentialism and Proof-theoretic Semantics
Applied Logic: Systems Modelling
Policy and Cybersecurity
Artifical Intelligence
Argumentation Theory
and more...