Filter Settings

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

Principial Investigator

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

Verification and Formal Guarantees of Machine Learning

Prof. Daniel Neider

TU Dortmund
JvF25, Room 212

Phone: +49 231 755 7802
[Learn more]

PostDoc

  • Verification
Portrait of Benjamin Bordais

PostDoc

Dr. Benjamin Bordais

TU Dortmund
JvF25, Room 211

Phone: +49 231 755 7814

PhD

  • Computer Science
  • Verification
Portrait of Jan Corazza

PhD

Jan Corazza

TU Dortmund
JvF25, Room 214

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

PhD

Simon Lutz

TU Dortmund
JvF25, Room 213

Phone: +49 231 755 7821
  • Verification
Portrait of Mislav Stojanovic

PhD

Mislav Stojanovic

TU Dortmund
JvF25, Room 210

  • Computer Science
  • Verification
Portrait of Mustafa Yalciner

PhD

Mustafa Yalciner

TU Dortmund
JvF25, Room 215

Phone: +49 231 755 7824
Scroll To Top