News
Stay Informed
Research
Research Areas
Scientists
Publications
Groups
Artificial Intelligence and Society
Causality
Compliant and Accountable Systems
Human-Centered Hardware Security
Human Understanding of Algorithms and Machines
Mathematical Data Science with Applications in Medicine
Psychological Aspects of Human-Algorithm-Interaction
Trustworthy Human Language Technologies
Verification and Formal Guarantees of Machine Learning
Career
Ruhr Area
Graduate School
Study Programs
Internship Program
Vacancies
About
Management
Locations
UA Ruhr
Network
Mislav Stojanovic
Verification
PhD
Mislav Stojanovic
TU Dortmund
JvF25, Room 210
Scroll To Top
