Zurück zur Hauptseite von "Praxis der Forschung"

Wintersemester 2021/22

Projektgruppe "Praxis der Forschung"

Bekanntmachungen:

  • 21.10.2021: Informationsveranstaltung für interessierte Studierende im WiSe 2021/22, 12.00 - 13.45 Uhr in der Inform.-Bibl. (Geb. 50.34, EG)
    inklusive der Themenvorstellung mit allen Betreuer:innen — Um Voranmeldung per E-Mail wird gebeten!
  • Anmeldung von Studierenden mit Thema bis zum 27.10.2021 möglich (alle Schritte notwendig):
  1. Mit Betreuer:innen sprechen und Thema abklären
  2. Bei den Ansprechpartnern (Betreuer:innen und Michael Kirsten) anmelden (Angabe von Matrikelnummer, Thema und Betreuer:innen)
  3. Im ILIAS-Kurs anmelden (unter Angabe der Matrikelnummer, des Themas und der Betreuer:innen)
  • 28.10.2021: Kick-Off Veranstaltung (siehe unten), 12.00 - 14.00 Uhr
  • Weitere Termine und Teilnahmeinformationen zu den Veranstaltungen im ILIAS-Kurs, bitte regelmäßig überprüfen
  • Informationen und eine Liste der aktuell laufenden Projekte beginnend im WiSe 2020/21 sowie im SoSe 2021

Angebotene Themenfelder im Wintersemester 2021/22

Die Themenfelder für das Wintersemester 2021/22 sind:

  • Algorithm Engineering
  • Analyse großer Datenbestände
  • Dezentrale Systeme und Netzdienste
  • Formale Methoden
  • Hochperformante Humanoide Technologien
  • Informations- und Signalverarbeitung
  • Intelligente Systemsicherheit
  • Künstliche Intelligenz für die Materialwissenschaften
  • Medizinrobotik
  • Pervasives Computing
  • Software-Requirements Engineering

Die folgende Liste gibt einen Überblick über Themen, die dieses Semester ausgeschrieben werden. Bei Interesse an einem Thema oder Fragen dazu kann der bzw. die betreffende Mitarbeiter:in angeschrieben werden. Die endgültige Liste der ausgeschriebenen Themen wird auf der Informationsveranstaltung und der Themenvorstellung zu Semesterbeginn (s.o.) bekannt gegeben und kann anschließend auf den veröffentlichten Folien nachgelesen werden.

Hinweis: Erfahrungsgemäß lohnt es sich, bereits im Vorfeld mit den entsprechenden Mitarbeiter:innen Rücksprache zu halten, um Enttäuschungen bei der Themenvorstellung zu vermeiden. Sollten Sie Interesse an der Durchführung eines Projektes im Rahmen von Praxis der Forschung haben, aber Ihr Wunschthema ist hier nicht  aufgeführt, so können in Ausnahmefällen bis zum Ende der ersten Vorlesungswoche noch Themen nachgemeldet werden. Halten Sie hierzu bitte frühzeitig Rücksprache mit den entsprechenden Mitarbeiter:innen bzw. Arbeitsgruppen (deren Themen Sie interessieren), um ein Thema zu vereinbaren, und bitten Sie diese, (bei Interesse) schnellstmöglich mit uns Kontakt aufzunehmen.

Liste der Projekte für das Wintersemester 2021/22

  # Projekt Arbeitsgruppe(n) Betreuende Mitarbeiter:innen
   1. Dense-Correspondence-based Visual Imitation Learning of Tool-Use Strategy IAR Asfour Jianfeng Gao
   2. Forgetting in Working and in Episodic Memory IAR Asfour Fabian Peller-Konrad
   3. Hierarchical Inverse-Dynamics-based Whole-Body Controller for Bimanual Mobile Manipulation Tasks IAR Asfour Fabian Reister, Jianfeng Gao und
Dr. Byungchul An
   4. Hierarchical Reinforcement Learning for Bimanual Mobile Manipulation IAR Asfour Patrick Hegemann und
Fabian Reister
   5. Recognizing Intention and Providing Assistance Based on Semantic Task Models IAR Asfour Christian Dreher und
Rainer Kartmann
   6. Teaching a Humanoid Robot with Natural Language IAR Asfour Rainer Kartmann
   7. Unified Bimanual Controller with Various Coordination and Compliance Adaptation Strategies IAR Asfour Jianfeng Gao, Franziska Krebs und
Dr. Byungchul An
   8. Eine adaptive, intelligente und privatsphäre-schützende Umgebung am Beispiel der Erkennung von gezeichneten Markierungen an Bauteilen IAR Beyerer Ph.D. Tim Zander
   9. Light Actuated Materials for Robotics IAR Mathis-Ullrich Christian Marzi
10. Automating SAT Solver Research (schon vergeben) IPD Böhm und
ITI Sanders
Jakob Bach und Dr. Markus Iser
11. t.b.a. ITI Friederich Jun.-Prof. Pascal Friederich
12. Bislicing – Slicing for Relational Verification KASTEL Beckert Dr. Mattias Ulbrich
13. Dynamisches Prüfen von Fairness-Eigenschaften mit Hilfe von Laufzeitmonitoren KASTEL Beckert Jonas Klamroth, Dr. Mattias Ulbrich
und Michael Kirsten
14. Ermittlung von Zuverlässigkeitsmaßen durch unvollständige Verifikation KASTEL Beckert Florian Lanzinger und
Dr. Mattias Ulbrich
15. Extracting Specifications for KeY KASTEL Beckert Dr. Mattias Ulbrich
16. Implementing an Ideal Ledger Functionality KASTEL Beckert Jonas Schiffl
17. Maschinelle Verifikation von Fairness-Eigenschaften mit Hilfe formaler Informationsflussanalyse KASTEL Beckert Jonas Klamroth, Dr. Mattias Ulbrich
und Michael Kirsten
18. Relational Verification of Smart Contracts KASTEL Beckert Jonas Schiffl
19. Runtime Verification für KI-basierte Systeme KASTEL Beckert Jonas Klamroth
20. Smart Contracts for Earnings Distribution on Multi-Provider Platforms (schon vergeben) KASTEL Hartenstein Matthias Grundmann
21. Modellgestütztes Reverse Engineering zur Qualitätsvorhersage
(schon vergeben)
KASTEL Koziolek Yves Kirschner
22. Efficient Model Stealing Attacks KASTEL Wressnegger Yilin Ji
23. Improving Defenses against Model Stealing KASTEL Wressnegger Yilin Ji
24. Combining causal graphs from observational data and from text TM Beigl Ployplearn Ravivanpong
25. Estimating Recoil from Sensor Data during Cardiopulmonary Resuscitation (schon vergeben) TM Beigl Tobias Röddiger
26. HCI-outcomes of AI-based decision support in an economic decision task TM Beigl Tim Schneegans
27. Large scale survey and benchmarking of causal discovery algorithms TM Beigl Ployplearn Ravivanpong

Zu den Themen aus dem Sommersemester 2021.

Veranstaltungen und Termine

Die Methoden-Veranstaltungen finden voraussichtlich meist donnerstags oder freitags statt. Die erste ist am 28.10.2021 von 12.00 - 14.00 Uhr. Die Teilnahme an der ersten Veranstaltung ist unter anderem Voraussetzung zur Teilnahme an Praxis der Forschung, hier werden wichtige organisatorischen Informationen bekannt gegeben. Im Folgenden ist die grobe Planung für beide Semester aufgelistet (Änderungen vorbehalten):

1. Semester (Wintersemester 2021/22)
Datum Zeit Veranstaltung
Vorlesungswoche   2 2,0 Stunden KickOff & Literaturrechereche und Zitieren
Vorlesungswoche   3 7,0 Stunden Projektmanagement
Vorlesungswoche   4 8,0 Stunden Präsentationsworkshop
Vorlesungswoche   9 1,5 Stunden Erkenntnistheorie
Vorlesungswoche 10 1,5 Stunden Wissenschaftstheorie
Vorlesungswoche 11 3,0 Stunden Workshop zur Forschungsfrage
Vorlesungswoche 12 1,5 Stunden Anträge schreiben
Vorlesungswoche 14 1,5 Stunden Experimentaldesign
2. Semester (Sommersemester 2022)
Datum Zeit Veranstaltung
Vorlesungswoche   1 1,5 Stunden KickOff & Dokumentation des wissenschaftlichen Fortschritts
Vorlesungswoche   4 1,5 Stunden Statistische Auswertung
Vorlesungswoche   5 2,0 Stunden Paper schreiben
Vorlesungswoche   9 5,0 Stunden Schreibworkshop I - Modelle & Techniken zum wiss. Schreiben
Vorlesungswoche 11 6,0 Stunden Schreibworkshop II - Schreiben von Abstracts & Präzisierungen

Im Rahmen von Praxis der Forschung finden zusätzlich noch Präsentationstermine (drei im ersten Semester, zwei im zweiten) statt. Außerdem werden die Inhalte jedes Semesters mit jeweils einer mündlichen Prüfung abgeprüft.
Weitere Termine, Details und eventuelle Änderungen sind im ILIAS zu finden. Bitte melden Sie sich hierzu an.

Veranstaltungen und Termine vergangener Jahrgänge finden sich im Archiv.