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 […] ns_cidix.pdf All publications (PDF) Publications of my group (including BSc and MSc theses) until 2024 can be found here . Books Books Edited Books Editorship Chapters in Books Chapters in Books https://dblp
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
Teaching Summer term 2024 Logic and Verification (BSc) Proseminar (BSc) Winter term 2023/24 Informatik III (BSc) Proseminar (BSc) Summer term 2023 Bachelor Logic and Verification (BSc) Proseminar (BSc)
Highlights 20242024 Jürgen co-organises the 10 to watch in AI biannual event. Tobias finishes his doctorate! 2023 2023 Paula is awarded for her master thesis by the Verein von Freunden der TU Clausthal
Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden u. a. pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Mit dem Klick auf Einstellungen können Sie zudem die einzelnen Cookies auswählen, welche Sie akzeptieren wollen. Das Einverständnis in die Verwendung der Cookies können Sie jederzeit, auch teilweise, widerrufen. Weitere Informationen zu Cookies auf dieser Website finden Sie in unserer Datenschutzerklärung und zu uns im Impressum.
