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.
Promotionspreis der Thomas Gessmann-Stiftung für Andreas Steigmiller
Universität Ulm Universität Ulm![Logo](https://www.uni-ulm.de/_assets/a92153751098915699a1afa17e77f864/Images/logo-uni-ulm.jpg)
Die Dissertation von Herrn Dr. Andreas Steigmiller (Betreuerin: Jun-Prof. Birte Glimm) wurde mit dem Preis der Thomas Gessmann-Stiftung ausgezeichnet.