In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning

With this article, the two authors would like to pay tribute to the memory of their dear friend and colleague Steffen Hölldobler, who left us far too early in 2023. Ulrich (UF), in his time as a postdoc at the University of the Bundeswehr Munich, mentored Steffen as a student in his first logic lectures. Meghna (MB) is Steffen’s last PhD student. Although there is so much more to the wonderful man Steffen was, this article strives to briefly touch upon some of the various hats he donned during his lifetime—as a student, a researcher, a professor and a friend.