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
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
TRR 358; TP A04: Kombinatorische Euler-Produkte
Euler-Produkte sind die Inkarnation von lokal-global Prinzipien. Oft entstehen sie als führende Konstanten einer asymptotischen Formel, die ein Z?hlproblem aus der Algebra oder Zahlentheorie behandelt, und kodieren damit die zugrundeliegenden ganzzahligen Strukturen. Prototypen sind die Vermutungen von Manin und Malle. Die zu in diesem Projekt ...
Laufzeit: 01/2023 - 12/2026