My group's research seeks to develop practical tools to make artificial intelligence safe, reliable, and trustworthy. To this end, we develop formal methods for artificial intelligence and collaborate with researchers from various disciplines, including IT-Security, Statistics, and Psychology.

Portrait of Daniel Neider

Verification and Formal Guarantees of Machine Learning

Prof. Dr. Daniel Neider

TU Dortmund University
Joseph-von-Fraunhofer-Straße 25
Room 212
44227 Dortmund
Germany

Phone: +49 231 755 7802

[Learn more]
Portrait of Jan Corazza

PhD

Jan Corazza

TU Dortmund University
Joseph-von-Fraunhofer-Straße 25
Room 214
44227 Dortmund
Germany

Phone: +49 231 755 7823

PhD

Daniil Kaminskyi

TU Dortmund University
Joseph-von-Fraunhofer-Straße 25
Room 211
44227 Dortmund
Germany

Phone: +49 231 755 7898

Portrait of Simon Lutz

PhD

Simon Lutz

TU Dortmund University
Fraunhofer-Straße 25
Room 213
44227 Dortmund
Germany

Phone: +49 231 755 7821

[Learn more]
Portrait of Mislav Stojanovic

PhD

Mislav Stojanovic

TU Dortmund University
Joseph-von-Fraunhofer-Straße 25
Room 210
44227 Dortmund
Germany

Phone: +49 231 755 7434

Portrait of Mustafa Yalciner

PhD

Mustafa Yalciner

TU Dortmund University
Joseph-von-Fraunhofer-Straße 25
Room 215
44227 Dortmund
Germany

Phone: +49 231 755 7824

Portrait of Alhida Murati

Office Neider

Alhida Murati

TU Dortmund
JvF25, Room 218

Phone: +49 231 755 7729

Scroll To Top