University of 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.
Hla Abuhamra , M.Sc.
Zixin Wu , M.Sc.
System Administrator
Marvin Hoffmann
Assistance
Former Team Members
Assistance
FMI
Team
Assistance
Doris Heise
doris.heise@uni-due.de
Marleen Skroch
marleen.skroch@uni-due.de
(substitute)
Office: LF 227, Lotharstr. 65, 47057 Duisburg