News
Robin Philipp defends Doctoral Dissertation
Robin successfully defended his dissertation project on methods for validating the perception of automated driving systems
![](/storages/aqua-cs/_processed_/a/7/csm_DSCF1387_19461c2c81.jpeg)
EATCS Best ETAPS Paper Award for Joint Publication
Our TACAS 2024 paper “Scalable Tree-Based Register Automata Learning” was awarded the Best ETAPS Paper Award.
![Authors holding their EATCS Best ETAPS Paper award certificates.](/storages/aqua-cs/_processed_/3/b/csm_eatcs-award_b860de4ddf.jpeg)
GDart wins BRONZE in SV-COMP 2024 for Java
Our dynamic symbolic execution GDart wins BRONZE in this year's Software Verification competition for the Java category.
Marcel Altendeitering defends Doctoral Dissertation
Marcel successfully defended his dissertation titled "Design Principles for Data Quality Tools".
![Marcel Altendeitering with Christian Janiesch and Falk Howar after defending his doctoral dissertation](/storages/aqua-cs/_processed_/d/f/csm_defense-marcel_b6a8b6bcd3.jpg)
DFG funding for project StdLearnLib
The StdLearnLib project ensures the continued development and expansion of the de-facto standard library in automata learning, LearnLib.
![Architectural Overview of the LearnLib Components.](/storages/aqua-cs/_processed_/5/1/csm_learnlib-architecture_fd7ad1572b.png)
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…
![The AADC model car is being prepared for an autonomous race at the TU's 2023 Open House.](/storages/aqua-cs/_processed_/6/e/csm_aadc-tdot_a27c6d8124.jpg)
NFDI4Ing seed funding for project ReReSo
Project ReReSo, funded by NFDI4Ing, aims at improving the reusability of research software through standardized data formats and tool interfaces.
![Three benchmarks with distinct problems and metadata of different types, together with two tools providing an execution and a configuration API, as well as two configurations for each tool.](/storages/aqua-cs/_processed_/c/e/csm_rereso-idea_e6114b9953.png)
GDart wins SILVER in SV-COMP 2023 for Java
Our dynamic symbolic execution GDart wins SILVER in this year's Software Verification competition for the Java category.
![](/storages/aqua-cs/_processed_/0/0/csm_spout_d2af36cd07.png)
Malte Mues defends Doctoral Dissertation
Malte successfully defended his dissertation project on the integration of dynamic symbolic execution and multi-color taint analysis.
![Malte Mues with Heinrich Müller, Ben Hermann and Falk Howar after defending his doctoral dissertation](/storages/aqua-cs/_processed_/5/0/csm_IMG_7560_6001924549.jpg)