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

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