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.
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.
11.26 Talk at LFCW02, Isaac Newton Institute, Cambridge, UK
07.26 Guest Yijia Chen (Shanghai)
06.26 Guest Carlos Ansotegui (Lleida, Spain)
05.26 Guest Radek Honzik (Charles Uni Prag)
05.26 Talk at Isolde Adler (Uni Bamberg)
03.26 AlMoTh in Passau
01.26 Guest Yijia Chen (Shanghai)
12.25 online participation MFO workshop
12.25 Guest Jan Pich (Oxford)
09.25 Guest Radek Honzik (Prague)
06-07.25 Guest Mykyta Narusevych (Prague)
05.25 Talk (online) Complexity Network, UK
02.25 Guest Yijia Chen (Shanghai)
Moritz Müller
Room: HK30 102
Phone: +49(0)851 509 4660
Email: FIRSTNAME.mueller@uni-passau.de
Anke Berger
Room: HK30 228d
Phone.: +49(0)851 509 5025
Email: FIRSTNAME.berger@uni-passau.de
Universität Passau
Chair of Mathematical Logic
Dr.-Hans-Kapfinger Straße 30
94032 Passau
