Mareike Kröller Institute for Software and Systems Engineering - Sekretariat, Verwaltung des Instituts Kontakt Telefon: +49 5323 72 - 8254 E-Mail: mareike.kroeller @ tu-clausthal . de Adresse Technische […] Technische Universität Clausthal Institut für Software and Systems Engineering Wallstraße 6 38640 Goslar Germany

Prof. Dr. Benjamin Leiding Institute for Software and Systems Engineering - Software Services for the Circular Economy Kontakt Telefon: +49 5323 72 - 7169 Fax: +49 5323 72-99 - 7169 E-Mail: benjamin.leiding […] leiding @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software and Systems Engineering Gebäude C10, Raum 211 Arnold-Sommerfeld-Str. 1 38678 Clausthal-Zellerfeld Germany

Christian Bartelt Institute for Software and Systems Engineering Kontakt Telefon: +49 5323 72-8224 E-Mail: christian.bartelt @ tu-clausthal . de Adresse Technische Universität Clausthal Institut für Software

ppe „AI Systems Engineering“ zu leiten. Ab 2018 übernahm er dort die Geschäftsführung seines Institute for Enterprise Systems (InES). Während dieser Zeit lehrte er auch als „Invited Professor“ im Rahmen […] „Ich freue mich, dass Herr Bartelt zurück an die TU Clausthal gekommen ist und unsere Informatik verstärkt. So kann er gleich durchstarten“, sagte TU-Präsidentin Dr.-Ing. Sylvia Schattauer bei der Ernennung […] Ernennung. Christian Bartelt hat an der Technischen Universität Kaiserslautern Informatik studiert und anschließend dort als wissenschaftlicher Mitarbeiter der Arbeitsgruppe Softwarearchitektur geforscht

Tenure-Evaluierung. Prof. Leiding leitet die Arbeitsgruppe „Emerging Technologies for the Circular Economy“ am Institut für Software und Systems Engineering die sich mit den Forschungsschwerpunkten Dig

behave in order to be correct. Such documentation is then useful for the integration of the synthesized controller into a bigger system and for later maintenance of the integrated system. The paper is open […] The paper is authored by Rüdiger Ehlers, who heads the ACPS research group of the Institute of Software and Systems Engineering of TU Clausthal. It deals with the problem of fostering the understandability

Ossietzky Universität Oldenburg, das Fraunhofer-Institut für Schicht- und Oberflächentechnik, die Leibniz Universität Hannover, OFFIS – Institut für Informatik, Ostfalia Hochschule für angewandte Wissenschaften […] Goslar der feierliche Kick-Off für das neue Zukunftslabor Circular Economy statt, welches am Center for Digital Technologies (DIGIT) der Technischen Universität Clausthal angesiedelt ist. Christoph Willeke […] hat. Unter der Leitung von Prof. Dr. Andreas Rausch, Sprecher des Zukunftslabors und Leiter des Instituts für Software & Systems Engineering sowie Vorstandsvorsitzender des DIGIT, widmet sich das Forsc

Jannik Brinkmann, M.Sc. Institut für Software and Systems Engineering Jannik Brinkmann is a Ph.D. student in Computer Science at the Technical University of Clausthal since 2025. He began his doctoral […] information. He has held visiting researcher positions at Northeastern University and the NYU Center for Data Science, where he collaborated with leading groups on natural language processing and interpretability […] NeurIPS, ICLR, ACL, NAACL, and ICCV. His contributions have been recognized with an Honorable Mention for Best Paper at the ICML 2024 Workshop on Mechanistic Interpretability, and a NeurIPS 2024 Outstanding

CORE: Machine Learning and Cognitive Software Our research group explores the intersection of artificial intelligence, cognitive computing, and software engineering. Our work focuses on developing mac

Reactive Synthesis Tool Planet : Neural Network Verification GUISynth : Framework for synthesizing graphical user interface code for Android Cell Phone Apps Zu den oben genannten Themen bieten wir auch Regelmäßig […] um diese Probleme zu lösen. Dazu führen wir Forschungsarbeit in den folgenden Unterthemen der Informatik durch: Verifikation und Qualitätssicherung gelernter künstlicher neuronaler Netze Reaktive Synthese […] Runtime Verification In unserer Arbeit importieren wir viele Konzepte aus verwandten Gebieten der Informatik, wie z.B. des maschinellen Lernens, des Satisfiability Solving , der Automatentheorie , allgemeiner