Filter Settings

Clear all filters Artificial Intelligence (14) Causality (6) Computer Science (31) Cybersecurity (9) Data Science (6) Digital Governance (1) Explainability (3) Fairness (1) Governance (1) Human-Centered Design (1) Law (5) Machine Learning (18) Natural Language Processing (8) Privacy (6) Psychology (21) Social Sciences (18) Speech Recognition (1) Statistics (13) 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]

PostDoc

  • Computer Science
  • Verification

PostDoc

Dr. Chris Köcher

TU Dortmund University
Joseph-von-Fraunhofer-Straße 25
Room 211
44227 Dortmund
Germany

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

Paul Fink

TU Dortmund
JvF25

  • 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]
  • Computer Science
  • Verification

PhD

Patrick Nossol

TU Dortmund Universtiy
Joseph-von-Fraunhofer-Straße 25
Room 214
44227 Dortmund
Germany

  • 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

  • Artificial Intelligence
  • Computer Science
  • Verification

technical research assistant

Iheb Dridi

University of Duisburg-Essen
Tectrum Duisburg
Bismarckstraße 120
47057 Duisburg
Germany


Mobile: +49 157 736 75557
[Learn more]
  • Causality
  • Verification

Technician at RC Trust

Wolfgang Galkowski

TU Dortmund
JvF25, Room 220

Phone: +49 231 755 7822
Scroll To Top