Research
The P versus NP problem is one of the Millenium Problems and according to Stephen Smale one of "the three greatest open problems of mathematics" and "a gift to mathematics from computer science". Its first formulation is due to Stephen Cook in 1967. Our research approaches this and related problems with means of mathematical logic. Special focus is given to Proof Complexity and Bounded Arithmetic.
Teaching
The education in mathematical logic is a joint effort with the chair of pure mathematics. It aims to show the full breadth of the discipline, and, in subareas close to research interests of the involved chairs, leads to current research topics.

News
07.23 preprint with Joosten
06.23 Workshop on Algorithmic Law
06.23 Guest Joost Joosten, Barcelona
05.23 Inaugural lecture
04.23 Seminar on paradoxes at Girls Day
03.23 Research visit of Bonacina, Barcelona
03.23 Online participation Simons workshop
02.03.23 Talk, AlMoTh, Bochum
02.23 paper with Atserias, Buss at STOC23
12.22 paper with Chen, Flum Bulletin EATCS
11.22 Talk, Prague Logic Seminar
11.22 Preprint with Chen, Yokoyama
06.22Plenary Talk Logic Colloquium 2022
Contact
Professor
Moritz Müller
Room: HK30 102
Tel.: +49(0)851 509 4660
Email: FIRSTNAME.mueller@uni-passau.de
Secretariat
Anke Berger
Room: HK30 228d
Tel.: +49(0)851 509 5025
Email: FIRSTNAME.berger@uni-passau.de
Postal address
Universität Passau
Lehrstuhl Mathematische Logik
Dr.-Hans-Kapfinger Straße 30
94032 Passau