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.

Click here for my CV.

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:

 Click here for my current and recent work.