News
Two dissertation awards for research surrounding MallobTwo dissertation awards for research surrounding Mallob
September 27, 2024
GI Vice President Prof. Dr. Erhard Rahm and Dominik Schreiber at the GI Dissertation Award ceremony
Dominik Schreiber has received two high-ranking awards for his doctoral research on scalable SAT Solving: the tri-national dissertation award jointly conferred by the German Informatics Society (GI), the Austrian Computer Society (OCG), and the Swiss Informatics Society (SI); and the 2022-2023 Fahiem Bacchus Award conferred by the SAT Association.
More details can be found at the KIT Informatics faculty news page.