Software and Systems Engineering

TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

Hinweis:

Die meisten Seiten sind nur im Lehrstuhlnetz verfügbar

Allgemeine Information

Technische Infos & HowTos

Systemverwaltung

Willkommen bei der Systemverwaltung der Lehrstühle IV, VII und XXI!

Wir stellen IT-Infrastruktur und IT-Services für die folgenden Nutzergruppen und Einrichtungen bereit:

Software- and Systems Engineering Research Group (Prof. Manfred Broy)
Lehrstuhl IV: Software Engineering (Prof. Alexander Pretschner)
Lehrstuhl VII: Foundations of Software Reliability and Theoretical Computer Science (Prof. Javier Esparza)
Lehrstuhl XXI: Logik und Verifikation (Prof. Tobias Nipkow)
Isabelle-Entwickler-Community (Lehrstuhl XXI - Prof. Tobias Nipkow, University of Cambridge - Prof. Larry Paulson, Université NICTA - Gerwin Klein) - Betrieb der Software-Build- und Test-Infrastruktur

So können Sie uns kontaktieren:

HELPDESK
Mail: mta@in.tum.de
Telefonnr.: 289-17810
Raumnr.: 01.11.034/01.11.038
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching b. München

Vollzeitkräfte:

Thomas Fritz	Dieter Mletzko

Systemverwaltung

HELPDESK Mail: mta@in.tum.de Telefonnr.: 289-17810 Raumnr.: 01.11.034/01.11.038 Institut für Informatik Technische Universität München Boltzmannstr. 3 D-85748 Garching b. München

HELPDESK
Mail: mta@in.tum.de
Telefonnr.: 289-17810
Raumnr.: 01.11.034/01.11.038
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching b. München