News
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.

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.

Malte Mues defends Doctoral Dissertation
Malte successfully defended his dissertation project on the integration of dynamic symbolic execution and multi-color taint analysis.

BMBF funding for Project QuARum
The QuARUm project, a collaboration between Constructor University and TU Dortmund University, aims to develop a low-code platform for geoscientists.

AQUA featured in CS@ TU Dortmund promotional video
Our research and teaching on software engineering for autonomous driving is featured in the promotional video of the CS department of TU Dortmund!

DFG funding for project STING
The STING project researches formal methods for finding exploits in Web applications.

Fabian Bruckner defends Doctoral Dissertation
Fabian successfully defended his dissertation project in which he developed concepts for enforcing data usage control requirements in DSLs.

JDart wins GOLD in SV-COMP 2022 for Java
Our dynamic symbolic execution JDart wins GOLD in this year's Software Verification competition for the Java category.
BMBF funding for project KomDatis
The projects will develop a general data escrow concept in a collaboration with Fraunhofer ISST and DKSR.
