Mikkel Kragh Mathiesen

Mikkel Kragh Mathiesen is a Guest Researcher in the Programming Languages and Theory of Computation group at the Department of Computer Science, Faculty of Science, University of Copenhagen. His research focuses on algebraic foundations of programming languages, reversible computation, and database theory, with significant contributions to finitary relational calculus and algebraic query processing.

He completed his Ph.D. in Computer Science at the University of Copenhagen in 2023 with the dissertation "The Programming of Algebra". His academic work bridges theoretical computer science and abstract algebra, emphasizing formal methods and computational semantics.

Mathiesen's research interests center on applying algebraic structures to programming language design, particularly in reversible systems (Algeo framework) and database query optimization. His work explores category-theoretic approaches to differentiation in functional programming and module-theoretic foundations for relational calculus, demonstrating strong interdisciplinary connections between mathematics and computation.

Analysis of his 2020-2025 publications reveals consistent focus on algebraic methods across theoretical domains. Key trends include developing finitary relational calculus for database programming languages, creating algebraic frameworks for reversible computation, and establishing theoretical connections between module theory and query processing. His research shows increasing integration of category theory with programming language semantics, particularly in automatic differentiation and higher-order function systems.

No scientific awards were mentioned in the provided information.

There is no available information regarding students advised or research grants administered by Mathiesen. His collaborative work primarily involves co-authorship with established researchers in theoretical computer science without indication of independent supervision or grant leadership.

He is actively affiliated with the Programming Languages and Theory of Computation research group at the University of Copenhagen's Department of Computer Science, contributing to their focus on foundational aspects of computation and language design through algebraic approaches.