Logo: German Research InstitutionsGerman Research Institutions

Chair for Verification and Formal Guarantees of Machine Learning

  • Doctoral programmes
  • Institutions
  • Projekts / Doctoral Opportunities
  • Top
TU Dortmund University

Chair for Verification and Formal Guarantees of Machine Learning

Otto-Hahn-Straße 14, 44227 Dortmund

Go to websiteComputer Science (General)

Affiliated institutions

  • Dortmund Life Science Center (DOLCE)
  • Teacher Training Centre
  • Faculty of Architecture and Civil Engineering
  • Faculty Biochemical and Chemical Engineering
  • Faculty Chemistry
  • Faculty of Education, Psychology and Sociology
  • Faculty Electrical Engineering and Information Technology
  • Faculty for Computer Science
    • Chair of Computer Science I (Logic in Computer Science)
    • Chair of Computer Science II (Theory of Complexity and Efficient Algorithms)
    • Chair of Computer Science III (Operating Systems and Computer Architecture)
    • Computer Science Chair IV - Chair of Quantitative Techniques in Computer Science
    • Chair of Computer Science V (Subject Area: Programming Languages)
    • Chair of Computer Science VI
    • Computer Science VII - Computer Graphics
    • Chair of Computer Science VIII - Artificial Intelligence
    • Chair of Algorithm Engineering
    • Chair in Computer Science XII (Computer Engineering and Embedded Systems and Didactics of Computer Science)
    • Chair of Computer Science XIII - e-Services
    • Computer Science Chair XIV- Software Engineering
    • Chair of Enterprise Computing
    • Lehrstuhl für sichere autonome Systeme
    • Chair for Verification and Formal Guarantees of Machine Learning
  • Faculty for Mathematics
  • Faculty Human Sciences and Theology
  • Faculty Cultural Sciences
  • Faculty of Art and Sport
  • Faculty Mechanical Engineering
  • Faculty Physics
  • Faculty of Spatial Planning
  • Faculty Rehabilitation Sciences
  • Faculty of Social Sciences
  • Faculty Statistics
  • Faculty of Business and Economics
  • Institute of Robotics (IRF)
  • Interdisciplinary Research Focus: Dynamics of Gender Constellations
  • Social Research Centre Dortmund (sfs)
  • Ruhr Area (UA Ruhr)
  • University Library
  • Centre for Higher Education (zhb)
  • Centre for Synchrotron Radiation