Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Logik in der Informatik | Zielgruppen (dunkelblaue Leiste) | Forschende Forschende URL Sprungziel des Menüeintrags, sollte mit http:// oder https:// beginnnen. https://www.hu-berlin.de/de/forschende Inhalte Promovierende Postdoktorand*innen Tenure-Track-Professor*innen