University Duisburg-Essen

Formal Methods in Computer Science

Faculty of Computer Science

  • Search
  • EN
    • Deutsch
  • Studying at the UDE
  • Home
  • Teaching
    • Courses
    • Final Theses
    • eLearning activities
  • Research
    • Overview
    • Publications
    • PITCH-Project
    • Colloquium
  • Team
    • Group Leader
      • Prof. Dr. Janis Voigtländer
    • Research Assistants
      • Marcellus Siegburg, M.Sc.
      • Oliver Westphal, M.Sc.
      • Patrick Ritzenfeld, M.Sc.
    • System Administrator
      • Marvin Hoffmann
    • Assistance
    • Former Team Members

PITCH-Project

  1. FMI
  2. Research
  3. PITCH-Project

We are part of the project "PITCH - Prüfungen innovieren, Transfer schaffen, Chancengerechtigkeit fördern".

  • Infoline
  • Emergency handling
  • Impressum
  • © UDE
  • Last modified: 2023-04-25