Image of me!

Daumantas Kojelis

Mr

Personal profile

Overview

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.

You can find my publications on DBLP (click here!) or on my personal page (click here!)

Keywords

  • First-Order Logic
  • Complexity Theory
  • Model Theory
  • Finite Model Theory
  • Spectra Problems

Fingerprint

Dive into the research topics where Daumantas Kojelis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles