Daniel Neider
Professorship:
Verification and Formal Guarantees of Machine Learning, since 1 November 2022
Department:
- Department of Computer Science
- Research Center “Trustworthy Data Science and Security” of the University Alliance Ruhr
Studies and doctorate:
- 2007: Diploma in Computer Science at RWTH Aachen University
- 2008: Diploma in Information Systems at RWTH Aachen University
- 2014: PhD in Computer Science at RWTH Aachen University
- 2022: Habilitation in theoretical computer science at the Technical University of Kaiserslautern

Stages:
- 2008-2014: Research Assistant at the Chair of Logic and Theory of Discrete Systems at RWTH Aachen University
- 2014-2016: Postdoc in the NSF-funded project “ExCAPE - Expeditions in Computer-Augmented Program Engineering” at the University of Illinois at Urbana-Champaign (USA) and the University of California, Los Angeles (USA)
- 2016-2017: Postdoc at the Chair of Logic and Theory of Discrete Systems at RWTH Aachen University.
- 2017-2022: Research group leader at the Max Planck Institute for Software Systems in Kaiserslautern
- 2022: Professor of Security and Explainability of Learning Systems at the Carl von Ossietzky University of Oldenburg
Main focus:
- Secure machine learning
- Safety and reliability of artificial intelligence
- Explainability of intelligent systems