Spezifizierbare Erkennung von API-Falschverwendungen in CI Pipelines
Die korrekte Verwendung von APIs ist entscheidend für die Vermeidung von fehlerhaftem und unsicherem Code. Für Datensicherheit sind besonders kryptographische APIs wichtig, aber auch allgemeine (alle anderen) APIs müssen richtig verwendet werden, um sichere Software mit hoher Qualität zu entwickeln. Um die sichere und richtige Verwendung von APIs ...
Laufzeit: 02/2023 - 08/2024
Quantum Information Junior Research Group
This is a junior group leader position, including a PhD position in my group.
Laufzeit: 02/2023 - 01/2026
Obsidian-based Klausur: Wissensorganisationssoftware in Seminar- und Klausursituationen einsetzen
Das Projekt entwickelt innovative Ansätze für das digitale wissenschaftliche Schreiben. Dies ist vielfach eine Herausforderung für Studierende (Lea & Street, 2006). Gerade die spezifischen Handlungspraktiken werden im Kontext einer heterogenen Studierendenpopulation immer weniger ‚intuitiv‘ für Studierende (Heudorfer et al., 2018), da sie häufig ...
Laufzeit: 02/2023 - 12/2023
LASS KG: Language Agnostic Semantic Search driven by Knowledge Graphs
Laufzeit: 02/2023 - 02/2025
Symplektische Diskretisierungen für Optimalsteuerungsprobleme mechanischer Systeme
Die optimale Steuerung mechanischer Probleme ist in unserem technisch geprägten Alltag ebenso allgegenwärtig wie bei vielen wissenschaftlichen Fragestellungen. Da analytische Lösungen von Optimalsteuerungsproblemen im Allgemeinen nicht verfügbar sind, sind Anwendungen auf numerische Simulationen angewiesen, die robust und genau sind und von ...
Laufzeit: 01/2023 - 12/2025
TRR 358; TP C03: Zahme Muster in der Darstellungstheorie von reduktiven Lie-Gruppen und arithmetischen Geometrie
Man sagt, dass eine assoziative Algebra zahmen Darstellungstyp hat, wenn eine vollständige Klassifizierung ihrer unzerlegbaren Darstellungen zumindest im Prinzip möglich ist. Beispielsweise wurde die Klassifikation der Harish-Chandra-Moduln für die Gruppe SL(2,R) von Gelfand auf eine solche Algebra reduziert. Wir werden Algebren untersuchen, die ...
Laufzeit: 01/2023 - 12/2026
TRR 358; TP C02: Erbliche Kategorien, Spiegelungsgruppen und nichtkommutative Kurven
Es gibt tiefe Verbindungen zwischen Köcherdarstellungen und Coxeter-Gruppen, einschließlich der zugehörigen Wurzelsysteme, Lie-Algebren und Quantengruppen. Wir werden eine parallele Situation untersuchen, in der kohärente Garben auf bestimmten nicht-kommutativen Kurven, exzeptionelle Kurven genannt, anderen Arten von Spiegelungsgruppen entsprechen. ...
Laufzeit: 01/2023 - 12/2026
TRR 358; TP B04: Geodätische Flüsse und Weyl Kammer Flüsse auf affinen Gebäuden
Affine Gebäude und ihre Quotienten sind geometrische Objekte, die zu sehr interessanten dynamischen Systemen führen. In diesem Projekt sollen geodätische Flüsse und Weyl Kammer Flüsse auf affinen Gebäuden studiert werden. Das Projekt zielt dabei darauf ab, eine Spektraltheorie gemeinsamer Ruelle-Taylor Resonanzen zu entwickeln und ...
Laufzeit: 01/2023 - 12/2026
TRR 358; TP B02: Spektraltheorie in höherem Rang und unendlichem Volumen
Spektraltheorie ist ein fundamentales Werkzeug zur Untersuchung lokal-symmetrischer Räume, die im klassischen Kontext in der Regel endliches Volumen haben. Bereits bei Räumen vom Rang eins, etwa für Quotienten der oberen Halbebene modulo diskreter Gruppen unendlichen Co-Volumens treten sehr interessante und charakteristische Phänomene in der ...
Laufzeit: 01/2023 - 12/2026
TRR 358; TP A05: Affine Kac-Moody Gruppen: Analysis, Algebra und Arithmetik
Affine Kac-Moody-Gruppen und zugehörige Schleifengruppen werden von verschiedener Warte studiert. Wir untersuchen Endlichkeitseigenschaften von speziellen linearen Gruppen über Laurent-Polynomen über Z. Auch sollen gewisse maximale Lie-Ordnungen klassifiziert werden, die trigonometrischen Lösungen der klassischen Yang-Baxter-Gleichung entsprechen. ...
Laufzeit: 01/2023 - 12/2026