Seminare & Praktika
Kontakt
Leitung
Sekretariat
Seminare & Praktika
Seminare
In einem Seminar recherchieren die Studierenden angeleitet durch die betreuenden Lehrenden Literatur zu einem vorgegebenen Thema. Sie arbeiten sich in diese Literatur ein, verstehen und bewerten die Quellen hinsichtlich ihrer Relevanz für das gewählte Thema, und präsentieren und diskutieren ihre Erkenntnisse in einem wissenschaftlichen Vortrag sowie in einer nach wissenschaftlichen Standards aufgebauten Ausarbeitung.
Die folgenden Seminare bieten wir in (un-)regelmäßigen Abständen (auch als Proseminar) an:
- Spielen der Korrektheit wegen: Spiele im Entwurf eingebetteter Systeme
- Why Computerized Systems Fail
- Kooperative und mobile Systeme
- Automatisierte Techniken für die Analyse komplexer Systeme
- An der Grenzlinie der Entscheidbarkeit
- Hybrid diskret-kontinuierliche eingebettete Systeme
- Aktuelle Herausforderungen in der Fahrzeugentwicklung
- Dynamic and Causal Models for Integrated Socio-Technical Systems
- Future Mobility: Artificial Intelligence meets Formal Methods
- Grundlagen der Kausaltheorie
- Cyber-physische Systeme und Infrastrukturen
Praktika
Ein Praktikum bietet den Studierenden den Möglichkeit, ihre theoretischen Kenntnisse an praktischen Beispielen zu vertiefen. Dabei bearbeiten sie in Kleingruppen eine praktische Aufgabenstellung und halten ihre Ergebnisse in einer nach wissenschaftlichen Standards aufgebauten Ausarbeitung fest. Zusätzlich präsentieren und diskutieren sie ihre Ergebnisse in einem wissenschaftlichen Vortrag.
Die folgenden Praktika bieten wir (un-)regelmäßig an:
- Praktikum Technische Informatik
- Praktikum Hardwarenahe Systementwicklung
- Quantitatives Model Checking
- Modellierung und Analyse probabilistischer Systeme
Ober- und Forschungsseminar
Im Ober- und im Forschungsseminar Foundations and Applications of Systems of Cyber-Physical Systems finden Vorträge zu aktuellen Forschungsarbeiten statt. Bei den Forschungsarbeiten kann es sich um Bachelor-/Masterarbeiten oder angestrebte Promotionen handeln. Zudem werden Vorträge zu den Grundlagen der Forschungsarbeiten angeboten.