Prof. Dr. Holger Schlingloff

Prof. Dr. Holger Schlingloff forscht am Institut für Informatik der Humboldt-Universität mit dem Schwerpunkt Softwaretechnik. Seine Arbeit konzentriert sich auf formale Methoden, Modellierung und Verifikation komplexer, verteilter Systeme. Aktuelle Projekte befassen sich mit Digital Twins, autonomen Systemen und dem Einsatz von Large Language Models für die Testgenerierung. Zudem engagiert er sich in der Hochschuldidaktik, insbesondere im Lehren formaler Methoden durch Spiele und Puzzles.

🔒 Das System hat 1.288 mögliche Industrie-Partner gefunden — Firmen, Scores und Begründungen sind nur für eingeloggte Nutzer:innen sichtbar. Anmelden

• AMVAD

  Quelle ↗

  Förderer: Investitionsbank Berlin (IBB) Zeitraum: 01/2023 - 12/2025 Projektleitung: Prof. Dr. Holger Schlingloff, Prof. Dr. Lars Grunske

• Big Data Analytics am Beispiel von Finanzdaten Preisgeld

  Quelle ↗

  Zeitraum: 02/2014 - 12/2017 Projektleitung: Prof. Dr. Holger Schlingloff

• CrESt: Modellbasierte Entwicklung kollaborativer eingebetteter Systeme

  Quelle ↗

  Förderer: Bundesministerium für Forschung, Technologie und Raumfahrt Zeitraum: 02/2017 - 04/2020 Projektleitung: Prof. Dr. Holger Schlingloff

• Model Checking

  1999

• Model Checking

  2001

  Elsevier eBooks · DOI

• Efficient Verification of Parallel Real–Time Systems

  1997

  Formal Methods in System Design · DOI