Software and Systems Engineering

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

Note:

Most Pages are accessible only inside our LAN.

General Information

Technical Information & HowTos

Vacation

Webmail

Changing the password

Forms

Printers

IT Systems Group

Welcome to the IT Systems Group of the Chairs IV, VII, and XXI!

We provide IT infrastructure and IT services for the following user groups and facilities.

Software- and Systems Engineering Research Group (Prof. Manfred Broy)
Chair IV: Software Engineering (Prof. Alexander Pretschner)
Chair VII: Foundations of Software Reliability and Theoretical Computer Science (Prof. Javier Esparza)
Chair XXI: Logic and Verification (Prof. Tobias Nipkow)
Service bureau for personnel and finance of the Faculty of Computer Science and the Center of Mathematics
Isabelle-developer community (Chair XXI - Prof. Tobias Nipkow, University of Cambridge - Prof. Larry Paulson, Université NICTA - Gerwin Klein) - operation of the software build and test infrastructure

How to contact us:

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

Full-time Employees:

Thomas Fritz	Dieter Mletzko

IT Systems Group

HELPDESK Mail: mta@in.tum.de Phone: 289-17810 Room: 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
Phone: 289-17810
Room: 01.11.034/01.11.038
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching b. München