Moritz Müller

Moritz Müller

As of 19.10.2020 this page is no longer maintained.

Universitat Politècnica de Catalunya

Computer Science Department

Postal: Omega - 327, Campus Nord Universitat Politècnica de Catalunya,
c/ Jordi Girona 1-3, 08034 Barcelona.

Phone: +34 93 4137905


From 2004 to 2009 I worked as a scientific assistant 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 (KGRC) at the Universität Wien, as a postdoctoral researcher, as Assistent, as vice director and as leader of the project Complexity Theory in Feasible Mathematics funded by the FWF (Austrian Science Fund). I wrote the Habilitation Thesis Proofs and Constraints and received the venia docendi for mathematics from the Universität Wien in June 2016.

From January 2018 till September 2020 I worked as a postdoctoral researcher at the UPC within the ERC-CoG project AUTAR: A Unified Theory of Algorithmic Relaxations lead by Albert Atserias.

Currently I do not have teaching possibilities. Information about past teaching activities at the KGRC including teaching evaluations can be found here.