Lernen Sie unser Team kennen!
Lernen Sie unser Lehrangebot kennen!
Lernen Sie unsere Forschung kennen!
Teil von:
Sie sind hier:
en ist. Unsere Veranstaltungen und Angebote Bachelor-/ Masterarbeiten Sommersemester 2025 Wintersemester 2024/2025 Sommersemester 2024 Wintersemester 2023/2024 Sommersemester 2023 Wintersemester 2022/2023 …
Sommersemester 2025 Proseminar: Inkrementelle Ansätze für Programmanalysen Softwaretechnik Fachprojekt: Statische Programmanalyse in der Praxis …
Wintersemester 2024/2025 Seminar: Replizierbarkeit von Forschungsartefakten Type Systems for Correctness and Security …
Wintersemester 2024/2025 Type Systems for Correctness and Security Fachprojekt: Statische Programmanalyse in der Praxis Seminar: Replizierbarkeit von Forschungsartefakten …
macht. Wir haben SPEAR beim Wettbewerb „Forum Junge Spitzenforschung“ eingereicht und den 2. Preis für 2025 gewonnen. Das diesjährige Thema war „Energie und Klima – Gemeinsam für die Zukunft“ . Max hat das …
26083/tuprints-00023220 Engagement Reviews: SANER'26 STATIC'26 ICSE'26 The Programming Journal (2025) JSS (2025) ISSTA'25 STATIC'25 ECOOP'25 (invited by Mira Mezini) ISSTA'24 ECOOP'24 (invited by Mira Mezini) …
Prüfungsleistungen verfügbar! Orientierungshilfe anzeigen Neuigkeiten Aus unserer Gruppe... 14.02.2025 OPAL-Frühjahrsforschungstreffen in Essen Unsere Gruppe traf sich erneut mit Forschern, die an dem …
die Veröffentlichung im Data and Tool Showcase Track auf der Mining Software Repositories Conference 2025 (MSR '25) in Ottawa, Kanada angenommen. In "CoPhi - Mining C/C++ Packages for Conan Ecosystem Analysis" …
1 2 3 Nächste 14.02.2025 OPAL-Frühjahrsforschungstreffen in Essen Unsere Gruppe traf sich erneut mit Forschern, die an dem OPAL-Projekt beteiligt sind. 25.06.2024 Unsere Sommerpraktikanten Wir begrüßen …
und Irland. Es wird vom Deutschen Akademischen Austauschdienst (DAAD) angeboten. Wenn Sie im Sommer 2025 ein Praktikum bei uns absolvieren möchten, nehmen Sie bitte Kontakt mit uns auf! …