Portrait of Daniel Neider
  • Computer Science
  • Machine Learning
  • Verification

Verification and Formal Guarantees of Machine Learning

Prof. Daniel Neider

TU Dortmund
JvF25, Room 212


I am the professor for Verification and Formal Guarantees of Machine Learning at the Computer Science department of TU Dortmund University, a member of the Center for Trustworthy Data Science and Security at the University Alliance Ruhr, and principal investigator in several research projects. 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.

You can also find me on DBLP, Google Scholar, ORCID, Scopus, and the Web of Science.

Scroll To Top