Dr. Sebastian Küpper

• "Grundlagen der Informatik 2" (65002)
• "Moderne Methoden der Software-Entwicklung (65010)
• Seminar "Modellierung und Verifikation"

In früheren Semestern:

• „Einführung in die imperative Programmierung“ (63811)
• „Objektorientierte Programmierung“ (63016)
• Moderne Programmiertechniken und -methoden (63613)

• Reactive Systems with Conditions
• Graphminoren: Theorie, Anwendung und Implementierung eines interaktiven Suchspiels
• Entwicklung eines Tools zur Unterstützung der automatenbasierten Programmierung mit Eclipse
• Lösen NP-harter Rätselspiele mithilfe von SAT-Solvern
• Grundlagen der abstrakten Interpretation: Galois-Verbindungen und Herleitung einer abstrakten Semantik für While-Programme
• Weiterentwicklung eines Fahrsimulators zur Evaluation der Folgen der Mehrfachbelastung von Polizeidienstkräften beim Führen eines Einsatzfahrzeugs
• Zero-Knowledge-Beweise: Theorie, moderne Anwendung in Blockchain und Implementation
• Gegenüberstellung der Lösungsansätze zur Behandlung von gesellschaftlichem Bias im maschinellen Lernen
• Semantisches Clustern von Hashtags in Zeitintervallen: Ein Ansatz zur Ähnlichkeitsanalyse mit maschinellem Lernen
• Eine Lernumgebung für Tiefen- und Breitensuche in Graphen
• Entwicklung eines didaktischen Tools zur Unterstützung der Lehre im Bereich Graphenalgorithmen
• Entwurf und Implementierung eines Compilers für die GOTO-Sprache
• Entwicklung eines Tools zur Visualisierung der Sortieralgorithmen Quicksort und Mergesort
• Entwicklung einer Lehrsoftware für AVL-Bäume zum Einsatz in der universitären Lehre
• Entwicklung eines Deep Learning Agenten zur Authentifikation durch EMG-Signale
• Erstellung eines 3D Labyrinth-Navigators mittels Reinforcement Learning in Unity ML-Agents
• Prototypische Entwicklung eines Testfallgenerators zum
  Testen von Komponentenintegrationen für das JavaScriptFramework "React" unter Verwendung von Genetic Programming
• Beschleunigungsstrategien für ausgewählte dichtebasierte Clusteringverfahren
• Eine Lösung des Knotenüberdeckungsproblems unter Berücksichtigung moderner SAT-Lösestrategien
• Generalisierter Memberzugriff in C# - Erweiterung des Roslyn Compilers (*)
• KI-Techniken für autonomes Fahren: Roobustheit hinsichtlich unvorhergesehener Verkehrssituationen
• Analyse Heuristischer Algorithmen zur Lösung des Orientierungsproblems
• Malware-Erkennung mit Hilfe der Künstlichen Intelligenz
• Entwicklung eines didaktischen Werkzeugs zum Erlernen des Dijkstra-Algorithmus
• Graphenklassifikation mittels Machine Learning
• Entwicklung eines Serious Games zur Konzeptvermittlung der objektorientierten Programmierung
• Baumzerlegung und Baumweite zur Analyse der Komplexität algorithmisch schwieriger Probleme
• Analyse und Vergleich von Algorithmen zur automatischen Erzeugung von Spielinhalten mit Fokus auf Terraingenerierung
• Ein Freihand-Gesten-Framework für Systeme mit voll artikuliertem Hand-Tracking
• Komplexität von Problemen zu Pfadzerlegungen von Graphen
• Absicherung von SOME/UP Fahrzeug-Kommunikations-Patterns mit virtueller Modellierung
• Probabilistische Bisimulation: Definitionen, Algorithmen und Anwendungen
• Verifikation kryptographischer Protokolle
• Künstliche Intelligenz in der Spiele-Entwicklung
• Gameplay constraints and artistic freedom: Procedural map generation in strategy buildup games
• Verifikation von Machine Learning Verfahren
• Machine-learning gestützte Analyse von Bus-Messdaten in der Entwicklung von Automobilsteuergeräten
• Konzeption einer Webanwendung zum Erlernen von automatisierten Softwaretests mit Hilfe von GamificationKonzeption einer Webanwendung zum Erlernen von automatisierten Softwaretests mit Hilfe von Gamification
• Entwicklung eines Lehrtools zum Bisimulationsalgorithmus
• Implementierung einer Lernsoftware für die Sortieralgorithmen Quicksort und Mergesort
• Implementierung einer Lernsoftware für das Themenfeld Dynamische Programmierung
• A graph based foliage mesh Generation tool for Nanite Virtualized Geometry in Unreal Engine
• Konzeptionierung und Implementation eines Lehrtools zum Minimalen Spannbaum eines Graphen in der universitären Lehre
• Grafische Implementierung einer AVL-Baumstruktur zur Veranschaulichung von Algorithmen und Konzepten als Tool zur Lernunterstützung
• Minimale Spannbäume verständlich gemacht: Entwicklung eines interaktiven Lerntools
• Vergleich von klassischen Verfahren und modernen Machine-Learning-Modellen in der Gesichtserkennung hinsichtlich Leistung und Genauigkeit
• Prozessalgebren für probabilistische Systeme
• Extraktion von Knowledge Graphs aus unstrukturierten Dokumenten mittels LLM und Ontologie
• Didaktische und technische Herausforderungen und Chancen digitaler Prüfungsangebote an Hochschulen im Fachgebiet Software Engineering
• Detaillierte Darstellung und Vergleich von Bisimulation und Sprachäquivalenz in verschiedenen Modellierungsformen gewichteter Automaten
• Der Algorithmus von David Harvey und Joris van der Hoeven zur Multiplikation ganzer Zahlen in O(n log n)
• Entwurf und Realisierung eines Prototyps zur KI-basierten Video-
  auswertung an Bahnsteigen“
• Erstellung einer Lernsoftware zur Automatenkonstruktion
• SAT-Solver: Funktionsweise, Optimierungen und praktische Einsatzgebiete
• Entwicklung einer Lernsoftware für die Minimierung eines endlichen deterministischen Automatens
• Einsatz der formalen Verifikation zum Vergleich des Bestandssystems mit dem modernen System am Beispiel des Verzinsungsverfahrens in der Deutschen Rentenversicherung
• Wie kann Model Checking zur Fehlervermeidung in der Benutzeroberfläche medizinischer Geräte beitragen?
  

• Transitionssysteme mit Bedingungen
• Verbände
• Gewichtete Automaten
• Coalgebra
• Algorithmik
• Graphentheorie
• Nebenläufige Systeme