Daumantas Kojelis

Daumantas Kojelis


Personal profile


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