I am a lecturer at the Division of Computer Science, University of the West of Scotland, London campus. Currently, I am also a member of the teaching team at the Scotland Academy in Wuxi, China, a partnership between Wuxi Taihu University and University of the West of Scotland.

My main interests include Relation Algebra and its Applications, Formal Logic, Graph Theory and Computational Complexity. I got my PhD from the Department of Computer Science, University College London in 2023 as a member of the PPLV Research Group and the Foundational AI CDT. Previously, I had received my MEng in Computer Science from UCL in 2019.

Some of the problems that I am currently interested in are listed below. The list is by no means exhaustive.

• Which relation algebra fragments have their representation classes finitely axiomatisable;
• Which relation algebra fragments have the finite representation property for finite structures;
• The representation classes of which relation algebra fragments form varieties;
• Decidability of representability/finite representability/equational theories/... for fragments of relation algebra;
• Demonic operators in relation algebra;
• Weakening relation algebra;
• Applications of relation algebra (eg. in formal verification and AI).

I am currently able to only supervise new self-funded PhD students (projects to be added to the UWS catalogue soon) working on any of the above or closely related topics.