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

Prof. Dr. Christoph Berkholz
Haus III, 4. Etage, R.424
Tel.: (+49) (30) 2093 41130

berkholz (at) informatik.hu-berlin.de

Wissenschaftliche

Mitarbeiter/innen

Maximilian Merz

Haus III, R.423

Tel.: (+49) (30) 2093 41134

maximilian.merz (at) informatik.hu-berlin.de

Harry Vinall-Smeeth

Haus III, R.423

Tel.: (+49) (30) 2093 41134

harry.vinall-smeeth (at) tu-ilmenau.de

Max Wehmeier
Haus III, R. 410
Tel.: (+49) (30) 2093 41124

max.wehmeier (at) informatik.hu-berlin.de