Personen an unserem Lehrstuhl

Prof. Dr.rer.nat. habil. Klaus Meer

Lehrstuhl Theoretische Informatik
Institut für Informatik
Brandenburgische Technische Universität Cottbus 
Platz der Deutschen Einheit 1
03046 Cottbus
03044 Cottbus 
Telefon: +49 (0) 355 / 693883
Fax: +49 (0) 355 / 693830 
Web:  Homepage
Email: meer@informatik.tu-cottbus.de
Büro: Hauptgebäude  HG 2.19
 

Katrin Arnhold

Sekretärin
eMail:  arnhold[at].tu-cottbus.de
Tel.: 0355 / 69 3882
Fax: 0355 / 69 3830
Zimmer: HG 2.21
Platz der Deutschen Einheit 1
03046 Cottbus

 

Dr. Romain Gengler

Wissenschaftlicher Mitarbeiter
eMail:  rg[at]informatik.tu-cottbus.de
Web:  Homepage
Tel.: 0355 / 69 3806
Fax: 0355 / 69 3830
Zimmer: HG 2.16

 

Dipl.-Inf. Randolf Rotta

Wissenschaftlicher Mitarbeiter, Doktorand
eMail:  rottaran[at]tu-cottbus.de
Web: Homepage
Web (private):  http://studiy.tu-cottbus.de/~rrotta/
Tel.: 0355 / 69 3807
Fax: 0355 / 69 3830
Zimmer: HG 2.18

 

Martijn Baartse, M.Sc.

Wissenschaftlicher Mitarbeiter, Doktorand
eMail:  Baartse[at]tu-cottbus.de
Web:  Homepage
Tel.: 0355 / 69 291
Fax: 0355 / 69 3830
Zimmer: HG 2.37

DFG-Projekt-Mitarbeiter: Interaktive und probabilistisch prüfbare Beweise