Prof. Dr.
Daniel Neider
Principal Investigator
Vertrauenswürdige KI
Daniel Neider ist Inhaber des Lehrstuhls für Verifikation und formale Garantien des maschinellen Lernens an der TU Dortmund und Mitglied des Forschungszentrums Trustworthy Data Science and Security.
In seiner Forschung verbindet er formale Methoden mit maschinellem Lernen, um die Zuverlässigkeit moderner KI-Systeme grundlegend zu verbessern. Sein Ziel ist es, Methoden zu entwickeln, die mathematische Beweise und formale Zertifikate liefern und damit zeigen, dass künstliche Intelligenz nicht nur leistungsfähig, sondern auch sicher und vertrauenswürdig sein kann.
Zuvor war er Professor für Sicherheit und Erklärbarkeit von Lernsystemen an der Carl von Ossietzky Universität Oldenburg und leitete eine Forschungsgruppe am Max Planck Institut für Softwaresysteme in Kaiserslautern.