Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

AG Theoretische Informatik

 

Leitung / Head

Prof. Dr. Nicole Schweikardt
Haus III, 4. Etage, R.401
Tel.: (+49) (30) 2093 41102

schweikn (at) informatik.hu-berlin.de

 


Sekretariat / Office


Heike Neugebauer
Haus III, R.402
Tel.: (+49) (30) 2093 41100

heike.neugebauer (at) informatik.hu-berlin.de

 


Systemadministration / Technical support


Dipl.-Ing. Petra Kämpfer
Haus III, R. 411
Tel.: (+49) (30) 2093 41116

kaempfer (at) informatik.hu-berlin.de


Wissenschaftliche Mitarbeiter/innen / Scientific staff

 

Dr. Steffen van Bergerem
Haus III, R. 421
Tel.: (+49) (30) 2093 41132
steffen.van.bergerem (at) hu-berlin.de


Dr. André Frochaux
Haus III, R. 425
Tel.: (+49) (30) 2093 41135
frochaua (at) informatik.hu-berlin.de

 

M.Sc. Benjamin Hauskeller
Haus III, R. 422
Tel.: (+49) (30) 2093 41133
hauskeller (at) hu-berlin.de

 

M.Sc. Sarah Kleest-Meißner
Haus III, R. 422
Tel.: (+49) (30) 2093 41133
kleemeis (at) informatik.hu-berlin.de

 

Dr. Markus Schmid
Haus III, R. 424
Tel.: (+49) (30) 2093 41130
markus.schmid (at) informatik.hu-berlin.de

 

M.Sc. Benjamin Scheidt
Haus III, R. 421
Tel.: (+49) (30) 2093 41132

scheidtb (at) informatik.hu-berlin.de

 

Gastwissenschaftler/ innen

Prof. Cristian Riveros Jaeger

Haus III, R. 423
Tel.: (+49) (30) 2093 41134

cristian.riveros.jaeger (at) hu-berlin.de

 

 

Tutoren/innen / Student assistants

 

Dorian Gutschenreiter
Haus III, R. 410
Tel.: (+49) (30) 2093 41124

gutsched (at) informatik.hu-berlin.de

 

Johannes Friedrich Lange
Haus III, R. 410
Tel.: (+49) (30) 2093 41124

langejoh(at) hu-berlin.de

 

 

 

Alumni