Prof. Christoph Benzmüller is since 2022 chair for AI Systems Development at the University of Bamberg. As an associate (apl.) professor he is also affiliated with the Department of Mathematics and Computer Science at Freie Universität Berlin (where he has been the first UNA Europa guest chair) and he maintains a close research collaboration with the University of Luxembourg. In addition, he advises AI startup companies in Germany and abroad. Benzmüller's research interests lie at the intersection of AI/computer science, philosophy, mathematics, and language. His research shows that rational arguments can now be very well mechanized and analyzed in computers by using modern, symbolic AI technology. Benzmüller and his team have developed their own automatic theorem provers (for classical and higher-level non-classical logics) and are applying them in the fields mentioned above. Benzmüller's studies of Gödel's ontological argument for the existence of God in the computer gained particular media attention. The range of applications of his work is far-reaching and concerns, among other things, the mechanisation of ethical-legal reasoning in computers, e.g., for the control of autonomous AI systems.