Moritz Müller

Moritz Müller

From 2004 to 2009 I worked as a scientific assistant (Wissenschatlicher Angestellter) at the Department of Mathematical Logic of the Albert-Ludwigs Universität Freiburg. I wrote the doctoral dissertation Parameterized Randomization under the supervision of Jörg Flum and defended it in March 2009.

From 2009 to 2011 I have been a postdoctoral researcher at the Centre de Recerca Matemàtica (CRM) within the Infinity Project lead by Sy-David Friedman.

From 2011 to 2018 I worked at the Kurt Gödel Research Center for Mathematical Logic (KGRC) at the Universität Wien, as a postdoctoral researcher, as Lecturer (Assistent), as vice director (Stellvertretender Leiter) and as PI of the project Complexity Theory in Feasible Mathematics funded by the FWF (Austrian Science Fund). I wrote the Habilitationsschrift Proofs and Constraints and received the venia docendi for mathematics in June 2016.

From January 2018 till September 2020 I worked as a postdoctoral researcher at the Computer Science Department of the Universitat Politècnica de Catalunya within the ERC-CoG project AUTAR: A Unified Theory of Algorithmic Relaxations lead by Albert Atserias. In May 2020 I received the AQU certificate Acreditació de Recerca.

Information about past teaching activities at the KGRC including teaching evaluations can be found here.