Universität Duisburg-Essen
Formale Methoden der Informatik
Fakultät für Informatik
Suchen
DE
English
Einschreiben an der UDE
Navigation
Home
Lehre
Lehrveranstaltungen
Abschlussarbeiten
eLearning-Aktivitäten
Forschung
Übersicht
Veröffentlichungen
PITCH-Projekt
Kolloquium
Mitarbeitende
Fachgebietsleiter
Prof. Dr. Janis Voigtländer
Wissenschaftliche Mitarbeitende
Marcellus Siegburg, M.Sc.
Oliver Westphal, M.Sc.
Patrick Ritzenfeld, M.Sc.
Hla Abuhamra , M.Sc.
Zixin Wu , M.Sc.
System-Administrator
Marvin Hoffmann
Lehrstuhlassistenz
Ehemalige Mitarbeitende
Veröffentlichungen
FMI
Forschung
Veröffentlichungen
Fehler in der Quellverarbeitung
