معرفی
Holger Schlingloff is a Professor at the Institute of Computer Science, part of the Faculty of Mathematics and Natural Sciences at Humboldt University of Berlin. He is actively involved in supervising doctoral candidates, including Heinrich Mellmann (defended 2025), Kerstin Wagner (defended 2025), Gregor Wrobel (defended 2025), and Michael Piechotta (defended 2025). His research focuses on Software Engineering, with an emphasis on formal verification and model checking.
Contact:
- Phone: 030 2093-3074
- Fax: 030 2093-3067
- Email: hs@informatik.hu-berlin.de
- Postal Address: Unter den Linden 6, 10099 Berlin
His research group likely engages in both theoretical and applied studies in software systems, as indicated by his involvement in disputation dates and the institute's focus on computer science. No specific scientific awards or publications were mentioned in the provided text.