Congratulations to Dr. Katharina Juhnke for her successful defense of her doctoral thesis We congratulate Dr. Katharina Juhnke on the successful defense of her dissertation "Improving the Quality of Automotive Test Case Specifications"! veröffentlicht am: 01. Dezember 2020
Thomas Thüm Started as a New Professor at Our Institute In January 2020, Thomas Thüm started as a professor at our institute. His teaching and research is devoted to the Construction and Analysis of Secure… veröffentlicht am: 15. Oktober 2020
Dr. Alexander Raschke receives the ZLE Special Award for his outstanding commitment to teaching in the online summer semester 2020 veröffentlicht am: 08. September 2020
SE Projects Winter Term 2020/2021 This time, you can choose from 20 different projects! veröffentlicht am: 07. Juli 2020
Lehrangebot im Wintersemester 2019 Model-driven Software Engineering, Funktionale Programmierung, Principles of Program Analysis, (Pro)Seminare, spannende Projekte u.v.m. veröffentlicht am: 07. Oktober 2019
SORRIR project to make "Internet of Things" more reliable and secure The BMBF is funding a project of the universities of Ulm and Passau with a total of 1.5 million euros - our institute is involved. veröffentlicht am: 29. Juli 2019
Congratulations on the successful doctorate of Dr. Dominik Gessenharter veröffentlicht am: 09. Juli 2019
ABZ 2020 in Ulm Wir sind Gastgeber der ABZ 2020. Die Konferenz widmet sich zustandsbasierten und maschinenbasierten formalen Methoden wie Abstract State Machines… veröffentlicht am: 03. Juni 2019
Künstliche Intelligenz schafft digitale Kunst, die vom kulturellen Erbe inspiriert ist veröffentlicht am: 07. Mai 2019
Prof. Dr. Thom Frühwirth ist Mitglied im Programmkomitee der 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), Bozen, 16.-19. September 2019 veröffentlicht am: 07. Mai 2019