People
From International Center for Computational Logic
People
Professors and Research Group Leaders
Prof. Dr.-Ing. Franz Baader
- APB 3021
- +49 (0) 351 463-39160
Prof. Dr. Christel Baier
- APB 3006
- +49 351 463 38548
Prof. Dr. Manuel Bodirsky
- WIL C 120
- +49 351 463-35355
- APB 2021
- +49 351 463 38679
Prof. Dr. Markus Krötzsch
- APB 3033
- +49 351 463 38486
Prof. Dr. Sebastian Rudolph
- APB 2035
- +49 351 463 38516
Management
Scientific Staff
Dr.-Ing. Stefan Borgwardt
- APB 3023
- +49 (0) 351 463-39209
Dipl.-Inf. Elisa Böhl
- APB 2017
- +49 351 463 42666
- APB 3032
- +49 351 463 38314
Dipl.-Inf. Lukas Gerlach
- APB 3031
- +49 351 463 43503
M.Sc. Larry González
- APB 3010
- +49 351 463 38043
Dipl.-Inf. Philipp Hanisch
- APB 3031
- +49 351 463 43506
Dr.-Ing. Sascha Klüppelholz
- APB 3007
- +49 351 463 38440
Dr.-Ing. Francesco Kriegel
- APB 3022
- +49 351 463 38253
Dipl.-Math. Maximilian Marx
- APB 3037
- +49 351 463 43510
Dr. Stephan Mennicke
- APB 3010
- +49 351 463 38043
Dr. Sergei Obiedkov
- APB 3035
- +49 351 463 38314
Guest Researchers
Technical Administrators
- APB 3018
- +49 (0) 351 463-38422