Department of Informatics

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

TUM
 
 

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

   

© Chairs I4, I7, I21
Sitemap |  Contact
Last change: 2013-11-28 13:19:32