Sebastian Müller

I'm a PhD student of Jan Krajíček in Prague and a Marie Curie fellow in the MALOA initial training network. I graduated in Mathematics at the Freie Universität in Berlin under the supervision of Stefan Geschke. Before I came to Prague I was working in the DFG project "Propositional Proof Complexity and Disjoint NP-Pairs" under the supervision of Olaf Beyersdorff and Johannes Köbler at the Computer Science Department of the Humboldt University in Berlin (My old Homepage).
My research interests are Logics, Proof Complexity and Bounded Arithmetic.


Charles University
Department of Algebra
Faculty of Mathematics and Physics

Sokolovska 83
186 75 Praha 8
Czech Republic

Email: muller "at" karlin.mff.cuni.cz

Home | Publications | Conference Talks | CV | Research