over the years as part of the Computational Intelligence Group. Teaching at TU Clausthal Summer term 2024 Logic and Verification (BSc) Proseminar (BSc) Winter term 2023/24 Informatik III (BSc) Proseminar
Dr. Leon Kellerhals Since October 2024, I am head of the Computational Intelligence group at the Clausthal University of Technology. Before that, I was a postdoc at the Intelligent Networks group, hosted
Science Department of Clausthal University of Technology. I held my chair from 2004-2024 and retired in October 2024. Since the late eighties, I have been working in symbolic/logic-based Artificial In […] Merit Foundation (federführender Vertrauensdozent der Studienstiftung des deutschen Volkes ) from 2007-2024. I am full member (ordentliches Mitglied in der Klasse für Mathematik und Naturwissenschaften) of […] publications below. All publications (PDF) - Publications of my group (including BSc and MSc theses) until 2024 can be found here . Books Editorship Chapters in Books Journal Articles Conference and Workshop Papers
Highlights 2024 Jürgen co-organises the 10 to watch in AI biannual event. Tobias finishes his doctorate! 2023 Paula is awarded for her master thesis by the Verein von Freunden der TU Clausthal . The book
permanent members of the Department and our group. Prof. Dr. Dix is an Emeritus Professor since 1. October 2024, his current and past activities can be accessed here . The current active holder of the position
