Zurück zur Hauptseite von "Praxis der Forschung"

Sommersemester 2022

Projektgruppe "Praxis der Forschung"

Bekanntmachungen:

  • 20.04.2022: Informationsveranstaltung für interessierte Studierende im SoSe 2022, 11.30 - 13.15 Uhr in Hörsaal -102 (Geb. 50.34, UG)
    inklusive der Themenvorstellung mit allen Betreuer:innen — Um Voranmeldung per E-Mail und Anmeldung im ILIAS-Kurs wird gebeten!
  • Folien mit allgemeinen Informationen zu Praxis der Forschung
  • Anmeldung von Studierenden mit Thema bis zum 26.04.2022 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)
  • 26.04.2022: Kick-Off Veranstaltung (siehe unten), 17.30 - 19.00 Uhr in Raum 131 (Geb. 50.34) – vorher anmelden!
  • 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 SoSe 2021 sowie im WiSe 2021/22

Angebotene Themenfelder im Sommersemester 2022

Die Themenfelder für das Sommersemester 2022 sind:

  • Algorithmische Graphentheorie
  • Analyse großer Datenbestände
  • Autonome lernende Roboter
  • Formale Methoden
  • Informations- und Signalverarbeitung
  • Komponentenbasierter Software-Entwurf
  • Kryptographie und Sicherheit
  • Praktische IT-Sicherheit
  • Skalierbare Algorithmen
  • Software-Requirements Engineering
  • Zuverlässige Softwaresysteme
  • 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 2022

Laufende Projekte:
  # Projekt Forschungsgruppe(n) Betreuende Mitarbeiter:innen
1. Multi Agent Reinforcement Learning Framework IAR Beyerer Dr.-Ing. Julius Pfrommer
2. Explainability and Data Privacy – Alleviating the Antagonism IPD Böhm Clemens Müssener
3. Hammer für Lean4 unter Benutzung von SMT-Solvern für HOL IPD Snelting Dr. Jakob von Raumer
4. Analyzing Treewidth Heuristics on Grid Structures ITI Bläsius Marcus Wilhelm
5. Graph Products ITI Wagner Laura Merker
6. Sicherheitsbegriffe für die digitale Kontaktnachverfolgung KASTEL Müller-Quade Felix Dörre und Dr. Alexander Koch
7. Feature Modell Analyse & Sampling auf Basis von Grammatiken KASTEL Schaefer Domenik Eichhorn

Nicht vergebene Projekte:
# Projekt Arbeitsgruppe(n) Betreuende Mitarbeiter:innen
a. Spatial Credit Assignment for Swarm Reinforcement Learning IAR Neumann Niklas Freymuth
b. Sampling und Visualisierung des Lösungsraums von aussagenlogischen Formeln ITI Sinz Philipp Kern und
Prof. Dr. Carsten Sinz
c. Dynamisches Prüfen von Fairness-Eigenschaften mit Hilfe von Laufzeitmonitoren KASTEL Beckert Jonas Klamroth, Dr. Mattias Ulbrich
und Michael Kirsten
d. Ermittlung von Zuverlässigkeitsmaßen durch unvollständige Verifikation KASTEL Beckert Florian Lanzinger und
Dr. Mattias Ulbrich
e. Generierung effektiver Testfälle mittels Software-Differenzen KASTEL Beckert Dr. Alexander Weigl
f. Maschinelle Verifikation von Fairness-Eigenschaften mit Hilfe formaler Informationsflussanalyse KASTEL Beckert Jonas Klamroth, Dr. Mattias Ulbrich
und Michael Kirsten
g. Semantische Datenminimierung KASTEL Beckert Florian Lanzinger
h. Modellierung und Analyse von Sicherheitsannahmen KASTEL Koziolek Sophie Corallo und Frederik Reiche
i. Sicherheitsanalysen im Mobilitätskontext KASTEL Reussner
und KASTEL Koziolek
Maximilian Walter und
Sebastian Hahner
j. Generative graph models KASTEL Strufe Patrica Guerra-Balbao
k. Model-based anonymization of GPS trajectories KASTEL Strufe Patrica Guerra-Balbao
l. Odor-based authentication and identification KASTEL Strufe Matin Fallahi und Simon Hanisch
m. The filtering attack against trajectory anonymization KASTEL Strufe Alex Miranda Pascual
n. Toward continuous authentication via eye gaze during reading KASTEL Strufe Matin Fallahi
o. Trajectory Utility after Anonymization: Comparison of Similarity Measures KASTEL Strufe Alex Miranda Pascual

Zu den Themen aus dem Wintersemester 2021/22.

Veranstaltungen und Termine

Die Methoden-Veranstaltungen finden voraussichtlich meist mittwochs oder donnerstags, bzw. im zweiten Semester freitags, statt. Die erste ist (ausnahmsweise) am 26.04.2022 von 17.30 - 19.00 Uhr in Raum 131 (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 (Sommersemester 2022)
Datum Zeit Veranstaltung
26.04.2022 17.30 - 19.00 Uhr KickOff & Literaturrechereche und Zitieren
04.05.2022 09.00 - 17.00 Uhr Projektmanagement
11.05.2022 und 12.05.2022
(Vorbespr. 05.05., 15.00-16.00 Uhr)
15.00 - 18.00 Uhr Präsentationsworkshop
24.06.2022 14.00 - 16.00 Uhr Erkenntnistheorie
27.06.2022 14.00 - 15.30 Uhr Wissenschaftstheorie
07.07.2022 09.45 - 13.00 Uhr Workshop zur Forschungsfrage
14.07.2022 14.00 - 15.30 Uhr Anträge schreiben
21.07.2022 14.00 - 16.00 Uhr Experimentaldesign
2. Semester (Wintersemester 2022/23)
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.