News
Dominik Schmid and Malte Mues visit Dagstuhl seminar on research methods

Daniel Tebernum defends Doctoral Dissertation

Robin Philipp defends Doctoral Dissertation

EATCS Best ETAPS Paper Award for Joint Publication

GDart wins BRONZE in SV-COMP 2024 for Java
Marcel Altendeitering defends Doctoral Dissertation

DFG funding for project StdLearnLib

Autonomous Racing Showcased on AADC Model Car
At the university's 2023 open house event, AQUA group presented its work on autnomous driving on 1:8 scale model cars. Using the Jarvic racing…

NFDI4Ing seed funding for project ReReSo
