Zurück zur Hauptseite von "Praxis der Forschung"

Sommersemester 2023

Projektgruppe "Praxis der Forschung"

Bekanntmachungen:

  • 20.04.2023: Informationsveranstaltung für interessierte Studierende im SoSe 2023, 14.00 - 15.45 Uhr in Raum 301 (Geb. 50.34)
    inklusive der Themenvorstellung mit allen Betreuer:innen
  • Folien mit allgemeinen Informationen zu Praxis der Forschung
  • 28.04.2023: Kick-Off Veranstaltung (siehe unten), 14.00 - 15.45 Uhr in Raum 236 (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 SoSe 2022 sowie im WiSe 2022/23

Angebotene Themenfelder im Sommersemester 2023

Die Themenfelder für das Sommersemester 2023 sind:

  • Algorithm Engineering
  • Analyse großer Datenbestände
  • Computergrafik
  • Formale Methoden
  • Hochperformante Humanoide Technologien
  • Künstliche Intelligenz für die Materialwissenschaften
  • Logik autonomer dynamischer Systeme
  • Pervasives Computing
  • Praktische IT-Sicherheit

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 2023

Laufende Projekte:
# Projekt Forschungsgruppe(n) Betreuende Mitarbeiter:innen
1. Learning Spatio-Temporal Task Models from Human Demonstrations IAR Asfour Christian Dreher und Rainer Kartmann
2. Beschleunigung von temporalen Graph-Queries IPD Böhm Daniel Betsche
3. N.N. ITI Friederich Luca Torresi und Henrik Schopmans
4. Gezielte Diversifikation gelernter Klauselmengen bei parallelem SAT Solving ITI Sanders Dominik Schreiber
5. Subsurface Scattering in Modern Real-Time Rendering IVD Dachsbacher Vincent Schüßler
6. Proof Certificates for Neural Network Retraining KASTEL Beckert Philipp Kern und Samuel Teuber
7. Verified Construction of Approval-Based Committee Voting Rules KASTEL Beckert Dr. Michael Kirsten
8. Kapazitive Sensoren am Ohr zur Erfassung von biometrischen Daten TM Beigl Tobias Röddiger

Nicht vergebene Projekte:
# Projekt Forschungsgruppe(n) Betreuende Mitarbeiter:innen
a. Dynamisches Prüfen von Fairness-Eigenschaften mit Hilfe von Laufzeitmonitoren KASTEL Beckert Jonas Klamroth, Dr. Michael Kirsten und Samuel Teuber
b. Modular Verification of Neural Networks KASTEL Beckert Philipp Kern und Samuel Teuber
c. Runtime Monitoring for Contract Automata KASTEL Beckert Joshua Bachmeier
d. Semantische Datenminimierung KASTEL Beckert Florian Lanzinger und Dr. Alexander Weigl
e. Specification Mining of Contract Automata KASTEL Beckert Dr. Alexander Weigl
f. N/A KASTEL Platzer Prof. Dr. André Platzer
g. Language Processing in the Brain for Biometric Authentication KASTEL Strufe Matin Fallahi
h. Multimodal Biometric Recognition Based on Brain KASTEL Strufe Matin Fallahi

Zu den Themen aus dem Wintersemester 2022/23.

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 (ausnahmsweise) am 28.04.2023 von 14.00 - 15.45 Uhr in Raum 236 (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 2023)
Datum Zeit Veranstaltung
28.04.2023 14.00 - 15.45 Uhr KickOff & Literaturrechereche und Zitieren
04.05.2023 und 05.05.2023 14.00 - 18.00 Uhr Projektmanagement
12.05.2023 09.00 - 17.00 Uhr Präsentationsworkshop
26.06.2023 14.00 - 16.00 Uhr Erkenntnistheorie
28.06.2023 14.00 - 15.30 Uhr Wissenschaftstheorie
05.07.2023 09.45 - 13.00 Uhr Workshop zur Forschungsfrage
13.07.2023 14.00 - 15.30 Uhr Anträge schreiben
20.07.2023 14.00 - 16.00 Uhr Experimentaldesign/Benchmarking
2. Semester (Wintersemester 2023/24)
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.