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.
System Administrator
Marvin Hoffmann
Secretariate
Former Team Members
Teaching
FMI
Courses
Please refer to the German page
Lehre
, also concerning our
eLearning activities
.
