I am a postdoctoral researcher in the Knowledge Representation Group at Leipzig University. My current research focuses on machine learning on graphs, particularly extensions of graph neural networks, their logical expressive power, their relationship to the Weisfeiler–Leman algorithm, and their computational properties.

I completed my PhD in Computer Science at the University of Manchester in 2025. My doctoral research concerned formal languages, particularly the decidability and complexity of finite and general satisfiability, query entailment, the existence of Craig interpolants, and spectra. I remain active in this area.

List of select publications (also see DBLP)

Understanding the Expressive Power of GNNs with Global Readout

Maurice Funk, Daumantas Kojelis

The Adjacent Fragment and Quine’s Limits of Decision

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann

On Homogeneous 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