Fachgebiet Automatic Reasoning
Leiter Der Gruppe
                                               Prof. Dr. Anthony Lin
E-Mail: lin@cs.uni-kl.de
Postadresse:Postfach 3049
67663 Kaiserslautern
Hausadresse:Gebäude 34, Raum 419
Gottlieb-Daimler-Str.
67663 Kaiserslautern
Tel:(0631) 205-3330

 

Sekretärin
                                                    Frau Judith Stengel
E-Mail:stengel@informatik.uni-kl.de
Postadresse:Postfach 3049
67663 Kaiserslautern
Hausadresse:Gebäude 34, Raum 410
Gottlieb-Daimler-Str.
67663 Kaiserslautern
Tel:(0631) 205-3536
Bürozeiten:Mo.-Do. 9:00-12:00 Uhr