Hello! I am a Ph. D. student at the University of Manchester investigating Decidable Fragments of First-Order Logic.
My research interests include (but are not limited to) (Finite) Model Theory, Complexity Theory, The Satisfiability Problem, Query Answering...
I am currently focusing on the Two-Variable, Fluted, and Guarded Fragments of First-Order Logic.
- First-Order Logic
- Complexity Theory
- Model Theory
- Finite Model Theory