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.
Department of Algebra
Faculty of Mathematics and Physics
186 75 Praha 8
Email: muller "at" karlin.mff.cuni.cz