I'm currently a PostDoc at the Computer Science Department at the University of Toronto, hosted by Steve Cook and Toni Pitassi. I recently graduated from Charles University in Prague, where I was a MALOA-Marie Curie Fellow and PhD student of Jan Krajíček. 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.

We currently run a Reading Group on Jan's new book "Forcing with Random Variables and Proof Complexity".

• Publications
• Conference Talks
• Curriculum Vitae and Research Statement

Contact

Department of Computer Science
University of Toronto
Toronto, Canada M5S 3G4
Email: smueller "at" cs.toronto.edu