Moritz Müller
Moritz Müller
moritz@cs.upc.edu
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.
Publications
Talks
CV
Information about past teaching activities at the KGRC including teaching evaluations can be found
here
.