Congratulations to Dr. Daniel Gall for his successful defense of his doctoral thesis
We congratulate Dr. Daniel Gall on the successful defense of his dissertation "Analysis of Cognitive Models in Constraint Handling Rules"!
News
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"!
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…
Dr. Alexander Raschke receives the ZLE Special Award for his outstanding commitment to teaching in the online summer semester 2020
SE Projects Winter Term 2020/2021
This time, you can choose from 20 different projects!
Lehrangebot im Wintersemester 2019
Model-driven Software Engineering, Funktionale Programmierung, Principles of Program Analysis, (Pro)Seminare, spannende Projekte u.v.m.
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.
Congratulations on the successful doctorate of Dr. Dominik Gessenharter
ABZ 2020 in Ulm
Wir sind Gastgeber der ABZ 2020. Die Konferenz widmet sich zustandsbasierten und maschinenbasierten formalen Methoden wie Abstract State Machines…