Daniel Neider
Professur:
Verifikation und formale Garantien des maschinellen Lernens, zum 1. November 2022
Fakultät:
- Fakultät für Informatik
- Research Center „Trustworthy Data Science and Security“ der Universitätsallianz Ruhr
Studium und Promotion:
- 2007: Diplom in Informatik an der RWTH Aachen
- 2008: Diplom in Wirtschaftsinformatik an der RWTH Aachen
- 2014: Promotion in Informatik an der RWTH Aachen
- 2022: Habilitation in theoretischer Informatik an der Technischen Universität Kaiserslautern
Stationen:
- 2008-2014: Wissenschaftlicher Mitarbeiter am Lehrstuhl für Logik und Theorie diskreter Systeme der RWTH Aachen
- 2014-2016: Postdoc im NSF geförderten Projekt „ExCAPE – Expeditions in Computer-Augmented Program Engineering“ an der University of Illinois at Urbana-Champaign (USA) und der University of California, Los Angeles (USA)
- 2016-2017: Postdoc am Lehrstuhl für Logik und Theorie diskreter Systeme der RWTH Aachen
- 2017-2022: Forschungsgruppenleiter am Max-Planck-Institut für Software-Systeme in Kaiserslautern
- 2022: Professor für Sicherheit und Erklärbarkeit lernender Systeme an der Carl von Ossietzky Universität Oldenburg
Schwerpunkte:
- Sicheres maschinelles Lernen
- Sicherheit und Verlässlichkeit künstlicher Intelligenz
- Erklärbarkeit intelligenter Systeme