Robin Mroß, M.Sc. RWTH

Kontakt

mross.jpg

Wissenschaftlicher Mitarbeiter

Tel. +49 241 80 21160
Fax +49 241 80 22150


Email: mross[at]embedded[dot]rwth-aachen[dot]de

Adresse: Ahornstr. 55, 52074 Aachen, Germany
Büro: 2307

Sprechstunde

Wenn die Tür offen ist / nach Vereinbarung.

Forschung

In meiner Forschung beschäftige ich mich mit formalen Methoden im Kontext von graphischen Beschreibungsmitteln. Ein Fokus liegt hierbei auf automatisierter Erkennung von Entwurfsfehlern, insbesondere auf Grundlage von IEC 60848.

HiWi/WiHi Stellen

Abschlussarbeiten

Im Rahmen meiner Forschungstätigkeit ergeben sich kontinuierlich geeignete Themen für Abschlussarbeiten. Bei Interesse bitte ich um Kontaktaufnahme per E-Mail oder persönlich bei mir im Büro. Eigene Vorschläge sind ebenfalls möglich. Aktuell ausgeschriebene Abschlussarbeiten:

Verifikation von IEC 60848 (GRAFCET) mit SPIN [Masterarbeit]

Lehre

Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.Weitere Information

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland