Fakultät für Informatik

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

TUM
 
 

Systemverwaltung

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

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 VII: Foundations of Software Reliability and Theoretical Computer Science (Prof. Javier Esparza)
  • Lehrstuhl XXI: Logik und Verifikation (Prof. Tobias Nipkow)
  • Lehrstuhl XXII: Software Engineering (Prof. Alexander Pretschner)
  • Servicebüro Personal und Finanzen der Fakultät für Informatik und des Zentrums Mathematik
  • Isabelle-Entwickler-Community (Lehrstuhl XXI - Prof. Tobias Nipkow, University of Cambridge - Prof. Larry Paulson, Université Paris-Sud - Makarius Wenzel, NICTA - Gerwin Klein) - Betrieb der Software-Build- und Test-Infrastruktur
  • "Marktoberdorf Summer School" (Advanced Study Institute of the NATO Science for Peace and Security Programme)

So können Sie uns kontaktieren:

HELPDESK
Mail: mta@informatik.tu-muenchen.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

Teilzeitkräfte:
 
Monika Glashauser  

   

© Lehrstühle I7, I21, I22
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2009-12-10 11:29:10