Zurück zur Hauptseite von "Praxis der Forschung"

Wintersemester 2023/24

Projektgruppe "Praxis der Forschung"

Bekanntmachungen:

  • 25.10.2023: Informationsveranstaltung für interessierte Studierende im WiSe 2023/24, 11.30 - 13.15 Uhr in Raum 010 (Geb. 50.34)
    inklusive der Themenvorstellung mit allen Betreuer:innen und Pizza
  • Folien mit allgemeinen Informationen zu Praxis der Forschung
  • 02.11.2023: Kick-Off Veranstaltung (siehe unten), 14.00 - 16.00 Uhr in Raum 010 (Geb. 50.34)
  • Weitere Termine und Teilnahmeinformationen zu den Veranstaltungen im ILIAS-Kurs, bitte regelmäßig überprüfen!
  • Informationen und eine Liste der aktuell (aus-)laufenden Projekte beginnend im WiSe 2022/23 sowie im SoSe 2023

Angebotene Themenfelder im Wintersemester 2023/24

Die Themenfelder für das Wintersemester 2023/24 sind:

  • Algorithmische Graphentheorie
  • Autonome lernende Roboter
  • Entwicklung und Verteilung fortgeschrittener Web-Anwendungen
  • Formale Methoden
  • Komponentenbasierter Software-Entwurf
  • Künstliche Intelligenz für Sprachtechnologien
  • Logik autonomer dynamischer Systeme
  • Maschinelles Lernen für die Mensch-Roboter-Interaktion
  • Optimierung und Biomechanik für mensch-zentrierte Robotik
  • Praktische IT-Sicherheit
  • Skalierbare Algorithmen
  • Sozial-assistive Robotik
  • Test, Validierung und Analyse

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. Forschungsgruppen (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 2023/24

Laufende Projekte:
# Projekt Arbeitsgruppe(n) Betreuende Mitarbeiter:innen
  1. Diffusion Policies for Robots with multi-modal sensors IAR Lioutikov Paul Mattes
  2. Interpretable Prototypes for Robot Manipulation IAR Lioutikov Maximilian Li
  3. Novel Exploration Approaches for Robotic Reinforcement Learning IAR Neumann Onur Celik
  4. Swarm Adversarial Imitation Learning from Preferences IAR Neumann Niklas Freymuth und
Aleksandar Taranovic
  5. Large Language Models as Knowledge Base for Constraint Enforcement and Discovery Systems in Assistive Humanoid Robotics IAR Niehues Sai Koneru und Prof. Dr. Jan Niehues
  6. Hyperbolic Unit Disk Graphs ITI Bläsius und
ITI Wagner
Laura Merker und
TT-Prof. Dr. Thomas Bläsius
  7. Solar Farm Cable Layout Problem ITI Bläsius Max Göttlicher und Wendy Yi
  8. Can we accelerate Maximum-Likelihood Computations on GPUs? ITI Sanders und
ITI Stamatakis
Lukas Hübner
  9. Risk-Limiting Audits for Online Elections KASTEL Beckert Dr. Michael Kirsten
10. Automated Theorem Proving via Few-Shot Programming KASTEL Platzer Jonathan Laurent
11. Uniform Substitution for Quantified Differential Dynamic Logic KASTEL Platzer Prof. Dr. André Platzer
12. Low Code in der sichtenbasierten Entwicklung KASTEL Reussner Lars König
13. Modellierung und Analyse eines Domänenmodells für Shared-Mobility Systeme hinsichtlich verschiedener Ziele der Informationssicherheit KASTEL Reussner Nicolas Boltz, Sebastian Hahner und Dr. Christopher Gerking
14. The Potential of Quantum Computing Techniques for Solving Boolean Satisfiability KASTEL Schaefer Domenik Eichhorn
15. Qualitätsgesicherte Verteilung von Microservice-basierten Anwendungen TM Abeck Stefan Throner und Prof. Dr. Sebastian Abeck
Nicht vergebene Projekte:
# Projekt Arbeitsgruppe(n) Betreuende Mitarbeiter:innen
a. A tabletop social robot to motivate office workers to walk and stretch IAR Bruno Romain Maure und
TT-Prof. Dr. Barbara Bruno
b. Evaluation of passive knee exoskeletons with AI based motion capture and VR technology IAR Mombaur Peter Seunjune Lee, Jan Lau,
Dr. Marko Ackermann und
Prof. Dr. Katja Mombaur
c. Beweisbares Vergessen von Informationen in interaktiven Systemen KASTEL Beckert Dr. Alexander Weigl
d. Bislicing – Slicing for Relational Verification KASTEL Beckert Dr. Mattias Ulbrich und Dr. Michael Kirsten
e. Bounded Verification of Quantum Programs KASTEL Beckert Jonas Klamroth
f. Closing the Gap between Models and Programs KASTEL Beckert Florian Lanzinger
g. Dynamisches Prüfen von Fairness-Eigenschaften mit Hilfe von Laufzeitmonitoren KASTEL Beckert Jonas Klamroth, Dr. Michael Kirsten und Samuel Teuber
h. Modular Verification of Neural Networks KASTEL Beckert Philipp Kern und Samuel Teuber
i. Proof Certificates for Neural Network Retraining KASTEL Beckert Philipp Kern und Samuel Teuber
j. Specification Mining of Contract Automata KASTEL Beckert Dr. Alexander Weigl
k. Vollautomatisierte Verifikation von Quantenalgorithmen KASTEL Beckert Jonas Klamroth, Samuel Teuber und
Philipp Kern
l. Systematically Enriching (Meta) Models With Semantics KASTEL Reussner und
KASTEL Beckert
PD Dr. Robert Heinrich und
Dr. Mattias Ulbrich
m. Identification and authentication of people through hand movements KASTEL Strufe Simon Hanisch

Zu den Themen aus dem Sommersemester 2023.

Veranstaltungen und Termine

Die Methoden-Veranstaltungen finden voraussichtlich (bis auf wenige Ausnahmen) meist mittwochs oder donnerstags, bzw. im zweiten Semester freitags, statt. Die erste ist am 02.11.2023 von 14.00 - 16.00 Uhr in Raum 010 (Geb. 50.34). 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 2023/24)
Datum Zeit Veranstaltung
02.11.2023 14.00 - 16.00 Uhr KickOff & Literaturrechereche und Zitieren
15.11.2023 09.00 - 17.30 Uhr Projektmanagement
30.11.2023 12.00 - 17.00 Uhr Präsentationsworkshop I
12.12.2023 13.30 - 15.30 Uhr Präsentationsworkshop II
11.01.2024 14.00 - 15.30 Uhr Erkenntnistheorie
18.01.2024 14.00 - 15.30 Uhr Wissenschaftstheorie
25.01.2024 09.45 - 13.00 Uhr Workshop zur Forschungsfrage
01.02.2024 14.00 - 15.30 Uhr Anträge schreiben
08.02.2024 14.00 - 16.00 Uhr Experimentaldesign/Benchmarking
2. Semester (Sommersemester 2024)
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.