Die Dissertation von Herrn Dr. Andreas Steigmiller (Betreuerin: Jun-Prof. Birte Glimm) wurde mit dem Preis der Thomas Gessmann-Stiftung ausgezeichnet.

Die Dissertation von Herrn Dr. Andreas Steigmiller mit dem Titel "Optimisation of Tableau-Based Reasoning Systems for Expressive Description Logics" (Betreuerin: Jun-Prof. Birte Glimm) wurde mit dem Preis der Thomas Gessmann-Stiftung ausgezeichnet. Der Preis ist mit 10.000 € dotiert und wird von der Thomas Gessmann-Stiftung alle zwei Jahre an eine Universität des Landes Baden-Württemberg vergeben. Die Preisübergabe durch die Stiftung fand im feierlichen Rahmen der Promotionsfeier der Fakultät am 15. Juli 2016 statt.