Constant-Depth Rational-Weight GNNs and their Connection to Schanuel’s Conjecture
Daumantas Kojelis, Carsten Lutz
CV
Education
- Ph.D. in Theoretical Computer Science, The University of Manchester, 2025
- B.S. in Computer Science, The University of Manchester, 2021
Work experience
- Postdoctoral Researcher
- Leipzig University
- Research in Machine Learning on Graphs: GNNs, their computational aspects and expressive power
- 2026–current
- Teaching Assistant
- The University of Manchester
- In Fundamentals of Computation, Algorithms, Complexity Theory, and Automated Reasoning
- 2021–2025
- Software Engineer I
- Bentley Systems
- Duties includes: development of back-end infrastructure for civil engineering applications
- Tools used: C++, C#, TS, PL/SQL, T-SQL
- 2018–2021
Publications
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
Awards
- Best Student Contribution Award at the 38th International Workshop On Description Logics 2025
- Carole Goble (Best Student Paper) Award at the Computer Science Symposium at the University of Manchester 2025
- Helena Rasiowa (Best Student Paper) Award at 33rd EACSL Annual Conference on Computer Science Logic 2025
Programming skills
C++, C#, TS, PL/SQL, T-SQL