====== Robin Mroß, M.Sc. RWTH ======
~~NOTOC~~
~~NOCACHE~~

===== Kontakt =====
{{ :lehrstuhl:mitarbeiter:mross.jpg?direct&140}}

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 =====
{{ :lehrstuhl:stellen:i11-ausschreibung_2024_grafcet.pdf | Analyse von GRAFCET-Spezifikationen}}
===== 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:

{{ :lehre:abschlussarbeiten:rm-ma-verifikation-grafcet-promela.pdf | Verifikation von IEC 60848 (GRAFCET) mit SPIN [Masterarbeit]}}
===== Lehre =====
| **Semester**         | **Titel**                                      | **Art** |
| Sommersemester 2024    | [[lehre:sose24:seminar|Seminar: Ausgesuchte Themen zur eingebetteten Software]]            |    S    |
| Wintersemester 2023/24    |[[lehre:wise2324:technische_informatik]]      |    V    |
| ::: | [[lehre:wise2324:proseminar]]             |    S    |
| :::        | [[lehre:wise2324:seminar]]        |    S    |
| Sommersemester 2023    | [[lehre:sose23:proseminar]]             |    S    |
| :::        | [[lehre:sose23:seminar]]        |    S    |
| Wintersemester 2022/23    |[[lehre:wise2223:technische_informatik]]      |    V    |
| :::        | [[lehre:wise2223:seminar]]        |    S    |
| Sommersemester 2022        |    [[lehre:sose22:seminar]]        |    S    |
| Wintersemester 2021/22    |[[lehre:wise2122:technische_informatik]]      |    V    |
| ::: | [[lehre:wise2122:proseminar]]             |    S    |
| :::        | [[lehre:wise2122:seminar]]        |    S    |
| Sommersemester 2021    |[[lehre:sose21:proseminar]]             |    S    |
| :::        | [[lehre:sose21:seminar]]        |    S    |
| Wintersemester 2020/21    |[[lehre:wise2021:technische_informatik]]      |    V    |
| ::: | [[lehre:wise2021:proseminar]]             |    S    |
| :::        | [[lehre:wise2021:seminar]]        |    S    |