Diese Seite in Deutsch
Bernd Giesinger
Systemadministrator at
Karlsruhe Institute of Technology
(former : Universiy of Karlsruhe (TH))


  • Software: Linux and all Windows OS's
  • (also some time ago : SunOS, Solaris, MacOS)
  • Hardware: IBM-PC and Compatibles

Serving the following Groups
Algorithmics I : Prof. Dr. Dorothea Wagner
Application-oriented Formal Verification : Prof. Dr. Bernhard Beckert
Logic and Formal Methods : Prof. Dr. Peter Schmitt
Automated Software Analysis Group : J. Prof. Dr. Mana Taghdiri
Parallel Computing Group : J. Prof. Dr. Henning Meyerhenke
Verification meets Algorithmics : Dr. Carsten Sinz

Address information

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