Tobias Geibinger, an affiliated PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, received one of the ASAI Master Thesis Awards for his thesis Investigating Constraint Programming and Hybrid Answer-set Solving for Industrial Test Laboratory Scheduling.

In his Master’s Thesis supervised by Nysret Musliu, Tobias Geibinger focused on solving a real-world project scheduling problem that arises in an industrial test laboratory of a large company.

I started working on test laboratory scheduling when I was employed by Prof. Nysret Musliu as a Master student in his Christian Doppler Laboratory. The topic was fascinating to me because it allowed me to apply methods based on logical modelling techniques on a challenging real world problem, for which no solution methods that could solve all instances of realistic size were known at the time. Furthermore, the methods developed in my thesis are also used in practice in a test laboratory and make the life of the human planner a lot easier.

The award ceremony was held as part of an Austrian Society for Artificial Intelligence (ASAI) networking event at TU Wien on July 5, 2023. In a statement, the jury highlighted the clear definition of the research questions, the practical relevance of the research project as well as the carefully conducted evaluation.

The second ASAI Master Thesis Award 2023 went to Michael Bernreiter, a PreDoc reseracher of the Database and Artificial Intelligence Group at TU Wien’s Faculty of Informatics, for his thesis A General Framework for Choice Logics supervised by Stefan Woltran. More information on the awards is available on the website of TU Wien Informatics.

from left to right: Daniela Murhammer-Sas (BMK), Nysret Musliu, Tobias Geibinger, Michael Bernreiter, Stefan Woltran (all TU Wien), Bernhard Moser (ASAI) | photo by CAIML (CC 4.0) selection/zoom-in