Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
  • DE
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Startseite
Zurück zur Hauptseite von "Praxis der Forschung"

Sommersemester 2025

Projektgruppe "Praxis der Forschung"

Bekanntmachungen:

Angebotene Themenfelder im Sommersemester 2025

Die Themenfelder für das Sommersemester 2025 sind:

  • Algorithm Engineering
  • Algorithmik und Komplexitätstheorie
  • Algorithmische Graphentheorie
  • Analyse großer Datenbestände
  • Computergrafik
  • Formale Methoden
  • Hochperformante Humanoide Technologien
  • Künstliche Intelligenz für das Energiesystem
  • Künstliche Intelligenz für die Materialwissenschaften
  • Künstliche Intelligenz für Sprachtechnologien
  • Maschinenübersetzung
  • Nano-Computing
  • Skalierbare Algorithmen
  • Skalierbare automatisierte Beweisführung
  • 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 2025

Laufende Projekte:
# Projekt Forschungsgruppe(n) Betreuende Mitarbeiter:innen
  1. Machine Learning Methods for Force Myography Based Torque Estimation in Human Knee and Ankle Joints IAR Asfour Charlotte Marquardt und Prof. Dr.‑Ing. Tamim Asfour
  2. Probabilistic Object Detection with Conformal Prediction IPD Klein Prof. Dr. Nadja Klein, Moussa Kassem Sbeyti und Dr. Nicolas Bianco
  3. Synthesis of Beyond CMOS Reconfigurable Architectures ITEC Henkel Hassan Nassar und Dr.‑Ing. Heba Khdr
  4. Spacial Indices for Weighted Space ITI Bläsius Jean‑Pierre von der Heydt und T.T.‑Prof. Dr. Thomas Bläsius
  5. Machine Learning of Transferable Implicit Solvation Models ITI Friederich Henrik Schopmans, Jonas Teufel und T.T.‑Prof. Dr. Pascal Friederich
  6. Fine-grained Complexity of Algorithmic Primitives on Compressed Graphs ITI Künnemann Mirza Redzic und Prof. Dr. Marvin Künnemann
  7. On the Construction of Minimal Perfect Hashing and Compressed Datastructures using the CONSENSUS Technique ITI Sanders Dr. Stefan Walzer und Stefan Hermann
  8. Reconfigurations of Drawings ITI Wagner Miriam Goetze und PD Dr. Torsten Ueckerdt
  9. Real-Time 3D Audio Rendering IVD Dachsbacher Dr. Johannes Schudeiske
10. Spectral Importance Sampling IVD Dachsbacher Dr. Johannes Schudeiske
11. Synthesis of Auxiliary Specifications via Large Language Models KASTEL Beckert Samuel Teuber und
Dr. Debasmita Lohar
12. Type-Rule Synthesis with Generative AI KASTEL Beckert Florian Lanzinger
13. Deductive Verification of Non-deterministic C Code KASTEL Schaefer Dr. Asmae Heydari Tabar
14. Reliability in by-Construction Engineering KASTEL Schaefer Maximilian Kodetzki
15. AI for Grid Resilience: Reinforcement Learning in the L2RPN Challenge TM Schäfer Qiong Huang und Martin Sadric
16. Data-Driven Discovery of Power Grid Frequency Dynamics using Symbolic Regression and Machine Learning TM Schäfer Xinyi Wen und Martin Sadric
Nicht vergebene Projekte:
# Projekt Forschungsgruppe(n) Betreuende Mitarbeiter:innen
a. Cross-Embodiment Movement Primitive Library IAR Asfour Tilman Daab, Sebastian Rietsch und Prof. Dr.‑Ing. Tamim Asfour
b. Multi-Modal Alignment for Robotic Episodic Memory using Auto-Encoders IAR Asfour Timo Birr, Joana Plewnia und Prof. Dr.‑Ing. Tamim Asfour
c. How Should an Agent Learn? IAR Niehues
& IAR Waibel		 Lukas Hilgert und Leonard Bärmann
d. Computing Reliable 3-D Convex Hulls with Floating-Point Arithmetic KASTEL Beckert Dr. Debasmita Lohar und
Dr. Mattias Ulbrich
e. Planning on Abstract States and Refinement for Model Inconsistency Recovery KASTEL Beckert Dr. Mattias Ulbrich und
Henriette Färber
f. Refining Verified Floating-Point Sound NN Verifiers via Interactive Theorem Provers KASTEL Beckert Philipp Kern und Dr. Michael Kirsten
g. Evolution Analysis Metrics KASTEL Schaefer Philip Ochs und Tobias Pett
h. Frontiers of Distributed SAT Solving KASTEL Schreiber (YIG) Dr. Dominik Schreiber

Zu den Themen aus dem Wintersemester 2024/25.

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 02.05.2025 von 11.30 - 13.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 (Sommersemester 2025)
Datum Zeit Veranstaltung
02.05.2025 11.30 - 13.30 Uhr KickOff & Literaturrechereche und Zitieren
05.05.2025 17.30 - 18.00 Uhr Vorbereitungstreffen zum Präsentationsworkshop
08.05.2025 14.00 - 17.30 Uhr Präsentationsworkshop I (Gruppe 1)
15.05.2025 14.00 - 17.30 Uhr Präsentationsworkshop I (Gruppe 2)
22.05.2025 14.00 - 18.00 Uhr Projektmanagement
05.06.2025 14.00 - 15.30 Uhr Präsentationsworkshop II
24.06.2025 14.00 - 18.00 Uhr Projektcoaching
26.06.2025 13.30 - 15.30 Uhr Erkenntnistheorie
03.07.2025 14.00 - 16.00 Uhr Wissenschaftstheorie
10.07.2025 09.45 - 13.00 Uhr Forschungsfrageworkshop
17.07.2025 14.00 - 15.30 Uhr Anträge schreiben
Vorlesungswoche 13 1,5 Stunden Experimentaldesign/Benchmarking
2. Semester (Wintersemester 2025/26)
Datum Zeit Veranstaltung
Vorlesungswoche   1 2,0 Stunden KickOff & Dokumentation des wissenschaftlichen Fortschritts
Vorlesungswoche   3 1,5 Stunden Statistische Auswertung
Vorlesungswoche   5 4,0 Stunden Projektmanagement
Vorlesungswoche   5 2,0 Stunden Paper schreiben
Vorlesungswoche   7 1,0 Stunden Schreibworkshop I - Modelle & Techniken zum wiss. Schreiben und Schreiben von Abstracts und Einleitungen
Vorlesungswoche 13 1,0 Stunden Schreibworkshop II - Schreiben von präzisen Definitionen

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.