Matthew Konefal

Pronouns: He/him
  • PhD research student

Research groups and centres

Publications
ORCiD

Biography

BSc in Computer Science and Mathematics from 麻豆視頻_麻豆直播_麻豆传媒官网 (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