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.
System Administrator
Marvin Hoffmann
Assistance
Former Team Members
EN
Deutsch
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