Prof. Dr.
Daniel Neider

Daniel Neider is Professor and Chair of Verification and Formal Guarantees of Machine Learning at TU Dortmund University and a member of the Research Center Trustworthy Data Science and Security.

His research brings together formal methods and machine learning to make modern AI systems more reliable and secure. To achieve this, he develops methods that produce mathematical proofs and formal certificates that provide strong guarantees for trustworthy artificial intelligence.

Before joining TU Dortmund, he was Professor of Safety and Explainability of Learning Systems at the Carl von Ossietzky University Oldenburg and led a research group at the Max Planck Institute for Software Systems in Kaiserslautern.