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
Proof-search and Control
Logic Programming
Reductive Logic
Substructural, bunched, and modal logics
Game-theoretic interpretations of logics
Model-theoretic Semantics (in particular, its relationship to proof)
Proof-theoretic Semantics and Inferentialism
Systems Modelling
Policy (esp. Infromation Security and Access Control)
and more...
Get in touch at alexander.gheorghiu.19@ucl.ac.uk
Get in touch at alexander.gheorghiu.19@ucl.ac.uk