Moritz Müller

Moritz Müller



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

Email: moritz@cs.upc.edu



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 Proofs and Constraints and received the venia docendi for mathematics at the Universität Wien in June 2016.

Since 2018 I work 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.