Martin Luther University Halle-Wittenberg

Stud.IP Tasse mit Chip

Further settings

Login for editors





Our Team`s Research Topics


Co-operation partners of the chair

Co-operation partners of the chair


Computer Engineering

  • Formal Verification of Digital Systems
  • Validation of control units for rail points
  • Security in Networks

Computer Science and Arts

Combinatorial Optimization

Up