|
Auszug aus dem Studienführer |
|
|
Giesl
Grädel
Katoen
Rossmanith
Thomas
Vöcking
Berlage
Bischof
Borchers
Bücker
Jarke
Kobbelt
Kowalewski
Lakemeyer
Lichter
Mantel
Nagl
Naumann
Ney
Prinz
Rose
Schroeder
Seidl
Spaniol
Wehrle
Wolf
Berlage
Bischof
Borchers
Bücker
Giesl
Grädel
Jarke
Katoen
Kobbelt
Kowalewski
Kraiss
Lakemeyer
Lichter
Mantel
Nagl
Naumann
Noll
Ney
Prinz
Rose
Rossmanith
Schroeder
Seidl
Spaniol
Thomas
Unger
Vöcking
Wehrle
Westermann
Wolf
Mathar
Spitzer
Walke
Bischof: High-Performance Computing
Borchers: Medieninformatik und interaktive Systeme [Media Computing and Interactive Systems]
Bücker: High-Performance Computing
Giesl: Programmiersprachen und Verifikation [Programming Languages and Verification]
Grädel: Logik und Komplexitätstheorie [Logic and Complexity Theory]
Katoen: Formale Methoden, Programmiersprachen und Software Validierung [Formal Methods, Programming Languages and Software Validation]
Jarke: Informationssysteme / Wissensbasierte Systeme [Information Systems / Knowledge-Based Systems]
Kobbelt: Computergraphik und Multimedia [Computer Graphics and Multimedia]
Kowalewski: Eingebettete Systeme [Embedded Systems]
Lakemeyer: Wissensbasierte Systeme [Knowledge-Based Systems]; Künstliche Intelligenz [Artificial Intelligence]
Lichter: Softwarekonstruktion [Software Construction]
Mathar: Modellierung, Analyse und Optimierung von digitalen Kommunikationssystemen [Modeling, Analysis, and Optimization of Digital Communication Systems]
Nagl: Softwaretechnik [Software Engineering]
Naumann: Software und Werkzeuge für Computational Engineering [Software and Tools for Computational Engineering]
Ney: Mustererkennung und Sprachverarbeitung [Pattern Recognition and Human Language Technology]
Rossmanith: Effiziente Algorithmen [Efficient Algorithms]
Schroeder: Computerunterstütztes Lernen und Wissensstrukturierung [E-Learning]
Seidl: Datenbanken und Datenexploration [Databases and Data Mining]
Spaniol: Kommunikationssysteme [Communication Systems]
Thomas: Automaten, Logik und Verifikation [Automata, Logic, and Verification]
Vöcking: Algorithmen und Komplexität [Algorithms and Complexity]
Wehrle: Verteilte Systeme [Distributed Systems]
Walke: Telekommunikation, Mobilfunk und Leistungsanalyse [Telecommunication, Mobile Radio, and Performance Analysis]
Berlage
Bischof
Borchers
Bücker
Giesl
Grädel
Jarke
Katoen
Kobbelt
Kowalewski
Kraiss
Lakemeyer
Lichter
Mantel
Mathar
Nagl
Naumann
Noll
Ney
Prinz
Rose
Rossmanith
Schroeder
Seidl
Spaniol
Thomas
Unger
Vöcking
Walke
Wehrle
Westermann
Wolf