Matthew Konefal

Pronouns: He/him
  • PhD research student

Biography

BSc in Computer Science and Mathematics from Loughborough University (2024).

Teaching assistant for Formal Languages and Theory of Computation, and Formal Methods.

Research

  • Combinatorics of words and formal language theory
  • Definability and decidability
  • Compact language representations, especially word equations
  • Algorithms for words