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.
Patrick Ritzenfeld, M.Sc.
Hla Abuhamra , M.Sc.
Zixin Wu , M.Sc.
System Administrator
Marvin Hoffmann
Assistance
Former Team Members
eLearning activities
FMI
eLearning activities
Please refer to the
German page
.
