Moritz Müller

Professor Moritz Müller holds the Chair of Mathematical Logic at the University of Passau since October 2022, after positions at the University of Freiburg, Barcelona, and Vienna. His research bridges mathematical logic and theoretical computer science, focusing on proof complexity and computational complexity.

• Current affiliation: University of Passau (Faculty of Computer Science and Mathematics)
• Prior affiliations: University of Freiburg, Barcelona, Vienna

Research interests center on the P versus NP problem, proof complexity, and the interplay between mathematical logic and computational theory. His work explores foundational questions like the inherent difficulty of proving complexity lower bounds and the structure of proofs in restricted systems.

Recent publications analyze parameterized complexity, circuit lower bounds, and logical frameworks for computational constraints. Key themes include automating proof systems, NP search problems, and algebraic approaches to complexity hierarchies.

Scientific contributions have been recognized with a Best Paper Award at FOCS19. His team 'Logic in Passau' investigates logical foundations of algorithmic law and structural representations in foundational theories.