CV

Education

• Ph.D. in Theoretical Computer Science, The University of Manchester, 2025 (expected)
• B.S. in Computer Science, The University of Manchester, 2021

Work experience

• Teaching Assistant
  • The University of Manchester
  • In Fundamentals of Computation, Algorithms, Complexity Theory, and Automated Reasoning
  • 2021–current
• 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

Programming skills

C++, C#, TS, PL/SQL, T-SQL

Publications

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

Awards

• Helena Rasiowa (Best Student Paper) Award at 33rd EACSL Annual Conference on Computer Science Logic 2025