Sommersemester 2024

Projektgruppe "Praxis der Forschung"

Angebotene Themenfelder im Sommersemester 2024

Die Themenfelder für das Sommersemester 2024 sind:

• Algorithm Engineering
• Algorithmik und Komplexitätstheorie
• Computergrafik
• Formale Methoden
• Komponentenbasierter Software-Entwurf
• Künstliche Intelligenz für das Energiesystem
• Mobility Software Engineering
• Optimierung und Biomechanik für mensch-zentrierte Robotik
• Praktische IT-Sicherheit
• Skalierbare Algorithmen
• 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 Sommersemester 2024

#	Projekt	Forschungsgruppe(n)	Betreuende Mitarbeiter:innen
1.	Foundation Model for Graph Structured Time Series Forecasting	IAI Schäfer	Chen Shao, Sebastian Pütz und TT-Prof. Dr. Benjamin Schäfer
2.	Large Language Model-featured Academic Recommendation System	IAI Schäfer	Chen Shao und TT-Prof. Dr. Benjamin Schäfer
3.	Experimental and Computational Analysis of Human Balancing: Exploring the Exploitation of the Support Polygon	IAR Mombaur	Jan Lau und Prof. Dr. Katja Mombaur
4.	Fold and Cut (schon vergeben)	ITI Bläsius	Marcus Wilhelm und TT-Prof. Dr. Thomas Bläsius
5.	Pattern Dominating Set in Sparse Graphs (schon vergeben)	ITI Künnemann	Prof. Dr. Marvin Künnemann und Mirza Redzic
6.	Space-Efficient Encodings for Compressed Self-Indices (schon vergeben)	ITI Sanders	Dr. Florian Kurpicz
7.	Micro-Geometry Rendering in Real-Time Raytracing	IVD Dachsbacher	Vincent Schüßler
8.	Algorithmic Refinement for KeY	KASTEL Beckert	Wolfram Pfeifer
9.	Closing the Gap between Models and Programs	KASTEL Beckert	Florian Lanzinger
10.	Modular Verification of Neural Networks	KASTEL Beckert	Philipp Kern und Samuel Teuber
11.	Proof Certificates for Neural Network Retraining	KASTEL Beckert	Philipp Kern und Samuel Teuber
12.	Semantics for (Meta) Models	KASTEL Beckert und KASTEL Reussner	PD Dr. Robert Heinrich, Dr. Mattias Ulbrich und Dr. Romain Pascual
13.	Synthesis of JML-Contracts via Large Language Models	KASTEL Beckert	Samuel Teuber
14.	Vollautomatisierte Verifikation von Quantenalgorithmen	KASTEL Beckert	Jonas Klamroth, Samuel Teuber und Philipp Kern
15.	Comparing the Capabilities of Retargetable Quantum Compilers (schon vergeben)	KASTEL Schaefer	Tim Bittner
16.	Compositional Variability Models for Test Generation in Scenario-based Testing	KASTEL Schaefer	Lukas Birkemeyer
17.	Quantum Circuit Optimization in Meta-Solver Strategies	KASTEL Schaefer	Domenik Eichhorn
18.	Metrics for Classification of System Evolution Steps	KASTEL Schaefer	Tobias Pett und Philip Ochs
19.	Human User Studies for Explainable AI	KASTEL Schwammberger	Nils Wenninghoff und Maren Bertheau
20.	Exploring Attacks and Mitigation Strategies in Biometric Authentication Systems	KASTEL Strufe	Matin Fallahi
21.	Investigating and Improving Privacy in the 5G Authentication and Key Agreement Protocol (5G-AKA)	KASTEL Strufe	Kamyar Abedi
22.	Practical APP's Fingerprinting Attack in 5G Network	KASTEL Strufe	Kamyar Abedi

Zu den Themen aus dem Wintersemester 2023/24.

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 25.04.2024 von 09.15 - 11.15 Uhr in Seminarraum 4 (Geb. 50.19). 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 (Sommersemester 2024)

Datum	Zeit	Veranstaltung
25.04.2024	09.15 - 11.15 Uhr	KickOff & Literaturrechereche und Zitieren
02.05.2024	09.45 - 14.00 Uhr	Projektmanagement (zusätzl. Einzelcoachings)
15.05.2024	14.00 - 18.00 Uhr	Präsentationsworkshop I
06.06.2024	14.00 - 16.00 Uhr	Präsentationsworkshop II
27.06.2024	14.00 - 15.30 Uhr	Erkenntnistheorie
01.07.2024	11.30 - 13.00 Uhr	Wissenschaftstheorie
11.07.2024	09.45 - 13.00 Uhr	Workshop zur Forschungsfrage
18.07.2024	14.00 - 15.30 Uhr	Anträge schreiben
19.07.2024	15.45 - 17.15 Uhr	Experimentaldesign/Benchmarking

2. Semester (Wintersemester 2024/25)

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.

• ILIAS-Kurs mit allen Terminen für das 1. Semester

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