Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:mross [2020/09/02 10:12] mross [Robin Mroß] |
lehrstuhl:mitarbeiter:mross [2023/10/23 13:43] mross [Ausschreibungen] |
||
---|---|---|---|
Zeile 4: | Zeile 4: | ||
===== Kontakt ===== | ===== Kontakt ===== | ||
- | \\ | + | {{ :lehrstuhl:mitarbeiter:mross.jpg?direct&140}} |
Wissenschaftlicher Mitarbeiter\\ | Wissenschaftlicher Mitarbeiter\\ | ||
\\ | \\ | ||
- | Tel. +49 241 80 211..\\ | + | Tel. +49 241 80 21160\\ |
Fax +49 241 80 22150\\ | Fax +49 241 80 22150\\ | ||
Zeile 15: | Zeile 16: | ||
Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ | Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ | ||
Büro: 2307\\ | 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_2023_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-ba-grafcet-modellverfeinerung-verifikation.pdf | Verfeinerung eines Modells zur Verifikation von IEC 60848 (GRAFCET) [Bachelorarbeit]}} | ||
+ | |||
+ | {{ :lehre:abschlussarbeiten:rm-ma-grafcet-petri-netz-reduktionen.pdf | Anwendung von Petri-Netz-Reduktionen auf IEC 60848 (GRAFCET) [Masterarbeit]}} | ||
+ | |||
+ | {{ :lehre:abschlussarbeiten:rm-ma-verifikation-grafcet-promela.pdf | Verifikation von IEC 60848 (GRAFCET) mit SPIN [Masterarbeit]}} | ||
+ | ===== Lehre ===== | ||
+ | | **Semester** | **Titel** | **Art** | | ||
+ | | 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 | |