University Duisburg-Essen
Formal Methods in Computer Science
Faculty of Computer Science
Search
EN
Deutsch
Enrol 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
Secretariate
FMI
Team
Secretariate
Doris Heise
doris.heise@uni-due.de
Marleen Skroch
marleen.skroch@uni-due.de
(substitute)
Office: LF 227, Lotharstr. 65, 47057 Duisburg