I am a Ph.D. Student from the School of Computer Science at the University of Manchester. I am interested in expressivity of various formal languages and, in particular, the decidability and complexity status of various problems (e.g. finite/general satisfiability, query entailment, Craig interpolant existence, spectra etc.) for said languages.

I am one of the inventors of the Adjacent Fragment of First-Order Logic and am currently working on expressiveness, spectra and decidability of satisfiability problems for extensions of the language.

I expect to finish my Ph.D. by end of March 2025, and am currently looking for post-doc opportunities.

List of select publications (see full list)

The Adjacent Fragment and Quine’s Limits of Decision

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann

On Homogenous Models of Fluted Languages

Daumantas Kojelis

On the Limits of Decision: the Adjacent Fragment of First-Order Logic

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann

Completing the Picture: Complexity of the Ackermann Fragment

Daumantas Kojelis