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.
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
Reductive Logic, Proof-search and Control, Logic Programming
Classical, intuitionistic, and non-classical logics
Game-theoretic interpretations of logics
Inferentialistm and Proof-theoretic Semantics
Applied Logic: Systems Modelling, Policy, Security
and more...