Wintersemester 2022/23

Projektgruppe "Praxis der Forschung"

Angebotene Themenfelder im Wintersemester 2022/23

Die Themenfelder für das Wintersemester 2022/23 sind:

• Algorithmische Graphentheorie
• Autonome lernende Roboter
• Formale Methoden
• Hochperformante Humanoide Technologien
• Komponentenbasierter Software-Entwurf
• Nano-Computing
• Praktische IT-Sicherheit
• Software-Requirements Engineering
• 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 2022/23

#	Projekt	Forschungsgruppe(n)	Betreuende Mitarbeiter:innen
1.	Forgetting in working and in episodic memory	IAR Asfour	Fabian Peller-Konrad
2.	Transformer Networks for Grasp Generation on Unknown Objects	IAR Asfour	Christoph Pohl
3.	Investigating Variational Inference for Bayesian Deep Learning	IAR Neumann	Philipp Becker und Michael Volpp
4.	Learning Inductive Object-Centric Slot Initialization via Clustering	IAR Neumann	Ning Gao
5.	Spatial Credit Assignment for Swarm Reinforcement Learning	IAR Neumann	Niklas Freymuth und Andreas Boltres
6.	Reversible computing auf Basis von LLVM und Enzyme	ITEC Tahoori	Prof. Dr. Mehdi B. Tahoori
7.	Explaining Tree Ensembles with SAT	ITI Sanders	Dr. Markus Iser
8.	Necessary and Sufficient Conditions for the Existence of a Product Structure	ITI Wagner	Laura Merker
9.	Combining Bisimulation and Predicate Inference for Equivalence Proofs	KASTEL Beckert	Dr. Mattias Ulbrich
10.	Gamify Your Learning Experience -- Möglichkeiten von Gamification Lernprozesse und -erfolge zu visualisieren	KASTEL Koziolek	Kai Marquardt und Dr. Lucia Happe
11.	Performancevorhersage für Container-Anwendungen	KASTEL Reussner	Jörg Henß und Sebastian Weber

#	Projekt	Forschungsgruppe(n)	Betreuende Mitarbeiter:innen
a.	Keypoint Based Visual Imitation Learning Using Neural Radiance Fields	IAR Asfour	Jiangfeng Gao
b.	Modular Verification of Neural Networks	KASTEL Beckert	Philipp Kern und Samuel Teuber
c.	Beweisbares Vergessen von Information in interaktiven Systemen	KASTEL Beckert	Dr. Alexander Weigl und Jonas Schiffl
d.	Semantische Datenminimierung	KASTEL Beckert	Florian Lanzinger und Dr. Alexander Weigl
e.	Modeling and Analyzing Zero Trust Architectures Regarding Different Quality Objectives	KASTEL Koziolek	Larissa Schmid und Nicolas Boltz
f.	Energy-aware Software Product Line Engineering: Measuring and predicting the energy consumption of variable software systems	KASTEL Schaefer	Christoph König
g.	Brainwave Revocability Study	KASTEL Strufe	Matin Fallahi
h.	Multimodal Biometric Recognition by EEG and ECG	KASTEL Strufe	Matin Fallahi

Zu den Themen aus dem Sommersemester 2022.

Veranstaltungen und Termine

Die Methoden-Veranstaltungen finden voraussichtlich meist mittwochs oder donnerstags, bzw. im zweiten Semester freitags, statt. Die erste ist am 03.11.2022 von 09.45 - 11.30 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 2022/23)

Datum	Zeit	Veranstaltung
03.11.2022	09.45 - 11.30 Uhr	KickOff & Literaturrechereche und Zitieren
Vorlesungswoche   2	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 13	1,5 Stunden	Experimentaldesign

2. Semester (Sommersemester 2023)

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
• ILIAS-Kurs mit allen Terminen für das 2. Semester

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