Filter Settings

Clear all filters Artificial Intelligence (4) Causality (6) Computer Science (18) Cybersecurity (8) Data Science (6) Explainability (3) Fairness (1) Human-Centered Design (1) Law (4) Machine Learning (12) Natural Language Processing (8) Privacy (5) Psychology (19) Social Sciences (11) Statistics (10) Survival Analysis (2) Time Series (1) Verification

Principial Investigator

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

Verification and Formal Guarantees of Machine Learning

Prof. Dr. Daniel Neider

TU Dortmund
JvF25, Room 212

Phone: +49 231 755 7802
[Learn more]

PhD

  • Computer Science
  • Verification
Portrait of Jan Corazza

PhD

Jan Corazza

TU Dortmund
JvF25, Room 214

Phone: +49 231 755 7823
  • Computer Science
  • Verification

PhD

Daniil Kaminskyi

TU Dortmund
JvF25, Room 211

Phone: +49 231 755 7898
  • Computer Science
  • Verification

PhD

Thomas Krug

TU Dortmund
JvF25, Room 213

Phone: +49 231 755 7855
  • Computer Science
  • Verification
Portrait of Simon Lutz

PhD

Simon Lutz

TU Dortmund
JvF25, Room 213

Phone: +49 231 755 7821
[Learn more]
  • Verification
Portrait of Mislav Stojanovic

PhD

Mislav Stojanovic

TU Dortmund
JvF25, Room 210

Phone: +49 231 755 7434
  • Computer Science
  • Verification
Portrait of Mustafa Yalciner

PhD

Mustafa Yalciner

TU Dortmund
JvF25, Room 215

Phone: +49 231 755 7824

Staff

  • Causality
  • Verification

Technician at RC Trust

Wolfgang Galkowski

TU Dortmund
JvF25, Room 220

Phone: +49 231 755 7822
Scroll To Top