Same page in English

Bernd Giesinger
Systemadministrator am
KIT
Karlsruhe Institut für Technologie
(vormals : Universität Karlsruhe (TH))

Zuständigkeitsbereiche:

  • Software: Linux und alle Windows Betriebssysteme
  • (ehemals auch : SunOS, Solaris, MacOS)
  • Hardware: IBM-PC und Kompatible


Ich betreue folgende Lehrstühle und Gruppen
Algorithmik I : Prof. Dr. Dorothea Wagner
Anwendungsorientierte Formale Verifikation : Prof. Dr. Bernhard Beckert
Logik und Formale Methoden : Prof. Dr. Peter Schmitt
Automated Software Analysis Group : J. Prof. Dr. Mana Taghdiri
Forschungsgruppe Paralleles Rechnen : J. Prof. Dr. Henning Meyerhenke
Nachwuchsforschergruppe: Verifikation trifft Algorithmik : Dr. Carsten Sinz


Adressinformation

eMail: gies@iti.uni-karlsruhe.de
KIT - Karlsruhe Institut für Technologie
Fakultät für Informatik
Institut für Theoretische Informatik vorher : Institut für Logik, Komplexität und Deduktionssysteme
Lehrstuhl Professor Dr. D. Wagner oder: Lehrstuhl Professor Dr. P.Schmitt
Am Fasanengarten 5
Postfach 6980
76128 Karlsruhe
Tel: +49/721-608-44375
Fax: +49/721-608-44211