- Einrichtung
- Humboldt-Universität → Mathematisch-Naturwissenschaftliche Fakultät → Institut für Informatik → Theoretische Informatik
- Sitz
- Johann von Neumann-Haus, Institutsgebäude, Rudower Chaussee 25 , Raum 3.424
- Telefon
- 030 2093-41130
- Postanschrift
- Unter den Linden 6, 10099 Berlin
