These pages are out of date. Please visit our new home page.

logo_p_en_old.gif (10114 Byte)

Institute for Theoretical Computer Science
Research Group Prof. Dr. P. H. Schmitt
Address/Contact
Staff
Projects
Education

 

 

Staff

greenbal.gif (204 Byte)     Prof. Dr. Peter H. Schmitt (Head)

greenbal.gif (204 Byte)     Lilian Beckert (Secretary)

greenbal.gif (204 Byte)     Christian Engel

greenbal.gif (204 Byte)     Bernd Giesinger (Computer Administration)

greenbal.gif (204 Byte)     Steffen Schlager

greenbal.gif (204 Byte)     Isabel Tonin

greenbal.gif (204 Byte)     Frank Werner

 

Former Staff Members

greenbal.gif (204 Byte)     Dr. Wolfgang Ahrendt

greenbal.gif (204 Byte)     Dr. Thomas Baar

greenbal.gif (204 Byte)     Jun.-Prof. Dr. Bernhard Beckert

greenbal.gif (204 Byte)     Richard Bubel

greenbal.gif (204 Byte)     Prof. Dr. Jürgen Dix

greenbal.gif (204 Byte)     Prof. Dr. Reiner Hähnle

greenbal.gif (204 Byte)     Vladimir Klebanov

greenbal.gif (204 Byte)     Prof. Dr. Christian Pape

greenbal.gif (204 Byte)     Prof. Dr. Joachim Posegga

greenbal.gif (204 Byte)     Andreas Roth

deut-flagge.gif (643 Byte) lbeckert@ira.uka.de  19 Jul 07