-
Information Systems
(Prof. Dr.-Ing. Klemens Böhm, Prof. em. Dr.-Ing. Dr. h.c. Peter C. Lockemann) -
Innovative Computing and Program Structures
(Prof. em. Dr. Dr. h.c. G. Goos) -
Software-Design and Quality (SDQ)
(Prof. Dr. Ralf H. Reussner) -
Programming Paradigms
(Prof. Dr.-Ing. Gregor Snelting) -
Programming Systems
(Prof. Dr. Walter F. Tichy) -
Certifiable Trustworthy IT Systems
(Prof. Dr. Alexander Pretschner)
Research Groups
System and Software Support (in German)
Local Announcements (in German)
Links to other homepages
Fakultät für Informatik (Department of Computer Science) (in German and English)
Karlsruhe Institute of Technology (in German)
KIT Bibliothek (Library) (in German)

