University Duisburg-Essen
Formal Methods in Computer Science
Faculty of Computer Science
Search
EN
Deutsch
Studying at the UDE
Navigation
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.
System Administrator
Marvin Hoffmann
Secretariate
Former Team Members
eLearning activities
FMI
eLearning activities
Please refer to the
German page
.
