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

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
  • 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