To content

Daniel Neider

Professorship:

Verification and Formal Guarantees of Machine Learning, since 1 November 2022

To the Professorship

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
Portrait photo of Daniel Neider leaning against a concrete wall in a blue shirt, arms crossed and smiling slightly. © Oliver Dietze

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