|
Abteilungsmanager: Werner Otten |
Computergrafik und Visualisierung/Hochleistungsrechnen |
Prof. Dr. Jens Krüger |
Sandra Palmer |
sandra.palmer@uni-due.de |
9-2670 |
LE 334 |
Data Science |
N.N. (Lehrstuhlvertretung: Prof. Dr. Dirk Lewandowski) |
|
|
|
|
Didaktik der Informatik |
Prof. Torsten Brinda |
Ines Sigge |
sekr-ddi@uni-due.de |
3-37244 |
SA 223 |
Formale Methoden der Informatik |
Prof. Dr. Janis Voigtländer |
Doris Heise, Marleen Skroch, Martina Bick |
doris.heise@uni-due.de |
9-2008 |
LF 227 |
Intelligente Eingebettete Systeme |
Prof. Dr. Gregor Schiele |
Gaby Neumann |
gabriele.neumann@uni-due.de |
9-4008 |
BC 106 |
Networked Embedded Systems |
Prof. Dr. Pedro José Marrón |
Elke Schulte-Lippern |
elke.schulte-lippern@uni-due.de |
3-4176 |
SA 124 |
Quantencomputing und Algorithmik |
N.N. |
|
|
|
|
Technik der Rechnernetze |
Prof. Dr.-Ing. Erwin P. Rathgeb |
|
|
|
|
Theoretische Informatik |
Prof. Dr. Barbara König |
Doris Heise, Marleen Skroch, Martina Bick |
doris.heise@uni-due.de |
9-2008 |
LF 227 |
Theorie und Grundlagen der Künstlichen Intelligenz |
N.N. |
|
|
|
|
Verifikation komplexer Systeme und Model-Checking |
N.N. |
|
|
|
|
Verteilte Systeme |
Prof. Dr.-Ing. Torben Weis |
Marianne Appelt |
marianne.appelt@uni-due.de |
9-3381 |
BC 316 |
Seniorprofessuren und Emeriti |
Computergraphik, Bildverarbeitung, Wissenschaftliches Rechnen |
Prof. Dr. Wolfram Luther |
|
|
|
|
Informationssysteme |
Prof. Dr. Norbert Fuhr |
|
|
|
|