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 [2021/05/06 15:18] mross [Kontakt] |
lehrstuhl:mitarbeiter:mross [2021/05/19 15:51] mross [Lehre] |
||
---|---|---|---|
Zeile 23: | Zeile 23: | ||
===== Forschung===== | ===== Forschung===== | ||
- | Im Rahmen meiner Forschung beschäftige ich mich mit formalen Methoden im Kontext von graphischen Beschreibungsmitteln. Ein Fokus liegt hierbei auf automatisierter Erkennung von Entwurfsfehlern, insbesondere im Kontext von IEC 60848. | + | Im Rahmen 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. |
===== Abschlussarbeiten ===== | ===== Abschlussarbeiten ===== | ||
Zeile 34: | Zeile 34: | ||
| **Semester** | **Titel** | **Art** | | | **Semester** | **Titel** | **Art** | | ||
- | | SoSe 21 |[[lehre:sose21:proseminar]] | PS | | + | | Sommersemester 2021 |[[lehre:sose21:proseminar]] | S | |
| ::: | [[lehre:sose21:seminar]] | S | | | ::: | [[lehre:sose21:seminar]] | S | | ||
- | | WiSe 20 |[[lehre:wise2021:technische_informatik]] | V | | + | | Wintersemester 2020/21 |[[lehre:wise2021:technische_informatik]] | V | |
- | | ::: | [[lehre:wise2021:proseminar]] | PS | | + | | ::: | [[lehre:wise2021:proseminar]] | S | |
| ::: | [[lehre:wise2021:seminar]] | S | | | ::: | [[lehre:wise2021:seminar]] | S | | ||
- | \\ | ||
===== Ausschreibungen ===== | ===== Ausschreibungen ===== |