Erik Paul

Erik Paul is a faculty member at Universität Leipzig's Faculty of Mathematics and Computer Science, affiliated with the Institute of Computer Science and the Automaten und Sprachen (Automata and Languages) research group. His primary academic rank is Lecturer, where he teaches courses such as Automata Theory, Logic and Model Theory, and Semantics of Programming Languages.

Paul's research focuses on theoretical computer science with specialization in Automata Theory, Formal Languages, and Weighted Automata. His work explores decidability problems, tree automata, and logical characterizations of computational models, with significant contributions to the understanding of sequentiality and ambiguity in max-plus automata.

His publications demonstrate a consistent focus on automata theory and formal methods, with recent work addressing weighted HOM problems and sequentiality in finitely ambiguous systems. The research spans foundational theory, algorithmic decidability, and applications in formal verification.

Scientific Awards:

• ICALP 2020 Best Student Paper Track B

Paul actively contributes to academic service through seminar organization and thesis supervision within the Automata and Languages research group.