RePaLo – Revolutionen und Paradigmen in der Logik. Eine Untersuchung am Beispiel der beweistheoretischen Semantik

HilBew – "Die Hilbertsche Beweistheorie" Opus Magnum-Stipendium

KI-Seminar – Menschzentrierte KI-Entwicklung: KI-Anwendungen strategisch planen auf der Basis von Wertesensitivem Design und Human-Centered Design