Dennis Müller will join CL to work on the DAAD project “From Informal to Formal Mathematics” as a postdoc.