Zurück zur Hauptseite von "Praxis der Forschung"

Sommersemester 2021

Projektgruppe "Praxis der Forschung"

Bekanntmachungen:

  • 14.04.2021: Informationsveranstaltung für interessierte Studierende im SoSe 2021, 12.00 - 13.45 Uhr
    inklusive der Themenvorstellung mit allen Betreuer:innen
  • Folien mit allgemeinen Informationen zu Praxis der Forschung
  • Anmeldung von Studierenden mit Thema bis zum 20.04.2021 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)
  • 22.04.2021: Kick-Off Veranstaltung (siehe unten), 14.00 - 16.00 Uhr
  • 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 2020 sowie im WiSe 2020/21

Angebotene Themenfelder im Sommersemester 2021

Die Themenfelder für das Sommersemester 2021 sind:

  • Algorithm Engineering
  • Algorithmische Graphentheorie
  • Analyse großer Datenbestände
  • Autonome lernende Roboter
  • Formale Methoden
  • Hochperformante Humanoide Technologien
  • Intelligente Sensor-Aktor-Systeme
  • Komponentenbasierter Software-Entwurf
  • Praktische IT-Sicherheit
  • Software-Requirements Engineering

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. Arbeitsgruppen (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 2021

Laufende Projekte:
  # Projekt Arbeitsgruppe(n) Betreuende Mitarbeiter:innen
1. Inferring geodesic synergies for robot motion generation IAR Asfour D. Sc. Noémie Jaquier
2. Generierung effektiver Mutationstests mit Hilfe von Äquivalenzbeweisern ITI Beckert Dr. Mattias Ulbrich
3. Fast Multicriteria Multimodal Journey Planning Using ULTRA ITI Wagner Jonas Sauer
4. Privacy inferences via hand motions TM Strufe Simon Hanisch

Nicht vergebene Projekte:
# Projekt Arbeitsgruppe(n) Betreuende Mitarbeiter:innen
a. Dense-correspondence-based Visual Imitation Learning of Tool-Use Strategy IAR Asfour Jianfeng Gao
b. Forgetting in Working an Episodic Memory IAR Asfour Fabian Peller-Konrad
c. Human Motion Retargeting for Robot Bimanual Manipulation Tasks IAR Asfour André Meixner
d. Internal simulation of Robot Experiences in Blender IAR Asfour Fabian Peller-Konrad
e. Recognizing Intention and Providing Assistance Based on Semantic Task Models IAR Asfour Christian Dreher und Rainer Kartmann
f. Teaching a Humanoid Robot with Natural Language IAR Asfour Rainer Kartmann
g. Extended Object Tracking mit Dynamic Vision Sensoren IAR Hanebeck Marcel Reith-Braun und Dr. Florian Pfaff
h. Formschätzung mit Neuronalen Netzen und orthogonalen Basisfunktionen IAR Hanebeck Dr. Florian Pfaff
i. Advanced Trajectory Segmentation with Movement Primitives IAR Neumann Ge Li
j. Representation-Invariant Latent Spaces IAR Neumann Niklas Freymuth und Vaishak Shaj
k. Automating SAT Solver Research IPD Böhm und
ITI Sanders
Jakob Bach und Dr. Markus Iser
l. Feature-based Decomposition and Composition of Model-based Analysis Tools IPD Reussner Sandro Koch
m. Untersuchung unterschiedlicher Konsistenzbegriffe in der modellgetriebenen Software-Entwicklung IPD Reussner und IPD Koziolek Dr.-Ing. Thomas Kühn und Jan Keim
n. Bounded Verification of Quantum Programs ITI Beckert Jonas Klamroth
o. Dynamisches Prüfen von Fairness-Eigenschaften mit Hilfe von Laufzeitmonitoren ITI Beckert Jonas Klamroth, Michael Kirsten
und Dr. Mattias Ulbrich
p. Ermittlung von Zuverlässigkeitsmaßen durch Bounded Model Checking ITI Beckert Dr. Mattias Ulbrich und Florian Lanzinger
q. Implementing an Ideal Ledger Functionality ITI Beckert Jonas Schiffl
r. Maschinelle Verifikation von Fairness-Eigenschaften mit Hilfe formaler Informationsflussanalyse ITI Beckert Michael Kirsten, Jonas Klamroth
und Dr. Mattias Ulbrich
s. Relational Verification of Smart Contracts ITI Beckert Jonas Schiffl

Zu den Themen aus dem Wintersemester 2020/21.

Veranstaltungen und Termine

Die Methoden-Veranstaltungen finden voraussichtlich meist donnerstags oder freitags statt. Die erste ist am 22.04.2021 von 14.00 - 16.00 Uhr. 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 2021)
Datum Zeit Veranstaltung
Vorlesungswoche   2 2,0 Stunden KickOff & Literaturrechereche und Zitieren
Vorlesungswoche   3 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 14 1,5 Stunden Experimentaldesign
2. Semester (Wintersemester 2021/22)
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.