Ausgelaufene Professuren
Prof. Dr. Steffen Hölldobler
Die 2023 eingestellte Professur Wissensverarbeitung untergliederte sich zuletzt in zwei Schwerpunkte: das Modellieren menschlichen Schließens mittels nicht-monotoner Logiken und maschinelle Lösungsverfahren für das aussagenlogische Erfüllbarkeitsproblem und damit verwandter Probleme. Der Inhaber der Professur Prof. Dr. Steffen Hölldobler starb nach langer schwerer Krankheit am 9. Mai 2023. Wir betrauern den Verlust eines geschätzten Kollegen und engagierten Lehrers.