The doctoral thesis of Dr. Andreas Steigmiller entitled "Optimisation of Tableau-Based Reasoning Systems for Expressive Description Logics" (supervisor: Juniorprof. Dr. Birte Glimm) has been awarded with a prize of the Thomas Gessmann-Stiftung. The prize comes is endowed with an award of 10.000 € and is awarded by the Thomas Gessmann-Stiftung every two years at a university in Baden-Württemberg. The prize is handed over during the graduation ceremony of the faculty on July 15th, 2016.
Award for the Doctoral Thesis of Andreas Steigmiller
Ulm University Ulm University![Logo](https://www.uni-ulm.de/_assets/a92153751098915699a1afa17e77f864/Images/logo-uni-ulm.jpg)
The dissertation of Dr. Andreas Steigmiller, supervised by Juniorprof. Dr. Birte Glimm, has been awarded with a prize of the Thomas Gessmann-Stiftung