Unilogo
Institute for Logic, Complexity und Deduktion Systems (ILKD)
Computer Science Department, University of Karlsruhe

People
 
[End of Page]
[ILKD Menzel Home]ILKD Menzel Home
[Head]Head
[Secretary]Secretary
[Researchers]Researchers
[Computer Administration]Computer Administration
[Former Members]Former Members
Head
[Top of Page]
Name Room Phone EMail
Wolfram Menzel, Prof. Dr. 317

3977
Secretary
[Top of Page]
Name Room Phone EMail
Lilian Beckert 321

3919

 heck@ira.uka.de
Researchers
[Top of Page]
Name Room Phone EMail
Karin Höthker, Dipl. Math. 318 4214 hoethker@ira.uka.de
Computer Administration
[Top of Page]
Name Room Phone EMail
Bernd Giesinger 331 4375 gies2@ira.uka.de
Former Members
[Top of Page]
Name Phone EMail
Thomas Baar, Dr. Thomas.Baar@epfl.ch
Heinrich Braun, Dr. heinrich.braun@sap-ag.de
Ingrid Breymann, Dr. breymann@cs.utwente.nl
Andreas Diekmann andreas.diekmann@helaba.de
Johannes Feulner, Dipl.-Inform. Dipl.-Mus. johannes@fun.de
Thomas Fuchß, Prof. Dr. thomas.fuchss@fh-karlsruhe.de
Martin Giese, Dr. giese@cs.chalmers.se
Steffen Gutjahr, Dr. Steffen.Gutjahr@LBBW.de
Elmar Habermalz, Dr. elmar@habermalz.de
Dominik Hörnel, Dr. dominik.hoernel@sdm.de
Susanne Kaufmann, Dr.
Martin Kummer, Dr. mkummer@init-ka.de
Martin Lauer, Dipl.Inform. mlauer@informatik.uni-osnabrueck.de
Rainer Malaka, Dr. rainer.malaka@eml.villa-bosch.de
Artur Merke, Dipl.Inform. merke@ls1.cs.uni-dortmund.de
Matthias Ott, Dr. maott@sapient.com
Roland Preiß, Dr. RPreiss@t-online.de
Thomas Ragg, Dr. thomas.ragg@quantiom.de
Martin Riedmiller, Prof. Dr. martin.riedmiller@uos.de
Arno Schönegge, Dr. arno.schoenegge@eyetea.tv
Ralf Schoknecht, Dr. ralf.schoknecht@de.bosch.com
Christian Spevak spevak@ira.uka.de
Frank Christian Stephan, Dr. fstephan@comp.nus.edu.sg
[ILKD Menzel Home]ILKD Menzel Home
[Top of Page]
 
German [ Frames ] [ ILKD Wagner ] [ ILKD Schmitt ] [ KeY ] [ Computer Science ] [ University ]
ILKD Menzel