Pascal Esser

M.Sc. Pascal Esser is a researcher at the Department of Informatics at Technical University of Munich (TUM). He specializes in theoretical computer science, formal methods, and machine learning, with a focus on neural networks and verification techniques. His teaching responsibilities include courses on theoretical computer science fundamentals such as Petri Nets, Automata and Formal Languages, Logic, and Model Checking. He has contributed to research in representation learning, graph neural networks, and probabilistic models, as evidenced by his recent publications. Esser is involved in the development of tools like Automata Tutor and has collaborated on projects such as PaVeS and ConVeY. His work bridges formal methods and artificial intelligence, emphasizing rigorous theoretical foundations while exploring practical applications in neural network verification and algorithm design.

• Education: Master of Science in Computer Science (degree details unspecified).
• Research Interests: Formal verification, machine learning theory, neural networks, representation learning, graph algorithms, and theoretical computer science.
• Professional Activities: Active in teaching advanced undergraduate and graduate courses since 2020, with a focus on foundational topics in informatics and emerging areas like neural network verification.

Egger's research trends emphasize interdisciplinary approaches, combining insights from statistical learning theory with algorithmic analysis to address challenges in modern AI systems. His publications highlight advancements in understanding model dynamics, kernel-based methods, and graph neural network architectures. While no specific grants or awards are listed, his sustained academic contributions indicate active engagement in the informatics research community.

He is part of a research group at TUM including notable figures like Javier Esparza and Jan Křetínský, contributing to tools and frameworks for automata theory and model checking. His work often intersects with practical software implementations such as the Automata Tutor educational platform and Strix verification tools.