Stefan Milius

Dr. Stefan Milius is a Senior Lecturer (Akademischer Direktor) at the Chair for Theoretical Computer Science of Friedrich-Alexander University Erlangen-Nuremberg. His academic career spans theoretical computer science with a focus on categorical and algebraic methods applied to computational problems.

Dr. Milius's research program centers on coalgebras and their applications in computer science, semantics of iteration and recursion, universal algebra and category theory, and logic and formal verification of systems. His work bridges abstract mathematical theory with practical computational applications, particularly in verification frameworks for software systems. His approach often combines category-theoretic perspectives with concrete computational problems.

His publication record demonstrates consistent contributions to theoretical computer science, with recent work exploring stone duality, bialgebraic reasoning frameworks, automata theory with computational effects, and foundational aspects of programming language semantics. He has developed novel approaches to extending classical algebraic language theory to effectful settings and created new frameworks for reasoning about program equivalence in stateful and higher-order languages.

• Best Theory Paper at FM 2019 for "Generic Partition Refinement and Weighted Tree Automata"
• EATCS Best Paper Award at MFCS 2017 for "Eilenberg Theorems for Free"
• CALCO 2015 Best Paper Award for "Syntactic Monoids in a Category"
• Ackermann Award 2006 for PhD thesis
• Braunschweig Preis für hervorragende Leistungen im Studium, 2000

Dr. Milius has held significant editorial responsibilities including Editor-in-Chief of Logical Methods in Computer Science since 2020 and membership on the editorial boards of Applied Categorical Structures and TheoretiCS. He actively contributes to the theoretical computer science community through conference organization, serving as PC co-chair for FoSSaCS 2026 and MFPS 2025, and as a program committee member for numerous top-tier conferences including LICS, MFPS, and CALCO. Earlier in his career, he contributed to practical software development through projects like Alan, a Turing machine simulator developed during a 1997 software engineering practicum, and the VerSyKo project on verification of synchronous software components at TU Braunschweig (2011-2012).