Herr Müller ist beteiligt an der Untersuchung der Werte im Römischen Recht und der Untersuchung der Werte in den Entscheidungen des Bundesverfassungsgericht („Grammatik der Rechtfertigung“, zu Letzterer https://www.laws-of-social-cohesion.de/Projects/Modes-of-producing-law_-basic-values/index.html) sowie an der Entwicklung einer Software für den Aufbau wissenschaftlicher Datenbanken („DatabaseConstructor“, https://www.jura.fu-berlin.de/en/forschung/fuels/Projects/DBConstructor/index.html).