B / Event-B / Sicherheitskritische Systeme

• Analyse des Designs von Git / Mercurial mit Hilfe von B Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Prolog, B)
• Simplifier für B-Prädikate Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Prolog, B)
• Eine Übersetzung von BPMN nach B Projektarbeit, Masterarbeit (Sprache: B, Event-B)
• Eine Übersetzung von Smart Contracts nach B Projektarbeit, Masterarbeit (Sprache: B, Event-B)
• Model Checking von generiertem Code / Automatisches Refinement Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: B, Misc.)
• Generator von Proof Obligations für EventB Bachelorarbeit (Sprache: Java, JVM)

Logische Programmierung

• plspec: Test-Case Generierung Bachelorarbeit, Projektarbeit (Sprache: Prolog)
• Implementierung und Evaluation von Datenstrukturen in Prolog Bachelorarbeit, Projektarbeit (Sprache: Prolog)
• Ein Determinismus Checker für plspec Bachelorarbeit, Projektarbeit (Sprache: Prolog)
• Prolog Interpreter für Lustre Masterarbeit (Sprache: Prolog, B)
• Modellierung des Parallel Climbers Puzzles Projektarbeit (Sprache: Prolog, B)
• Expertensystem zur Validierung mit ProB Projektarbeit, Masterarbeit (Sprache: Prolog, B)
• Refactoring des partiellen Auswerters Ecce für Sicstus 4 Bachelorarbeit, Projektarbeit (Sprache: Prolog, B)
• DPLL(T)-basierter Solver für B bzw. B Logik für DPLL-basierten Solver Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Prolog, B)
• Declarative Debugger für SWI und/oder SICStus Prolog Bachelorarbeit, Projektarbeit (Sprache: Prolog)

Künstliche Intelligenz und Machine Learning

• Program Synthesis for B - Microsoft PROSE SDK Bachelorarbeit, Projektarbeit (Sprache: Java, .NET, B)
• Performance Evaluation fairer Machine Learning-Algorithmen Projektarbeit, Masterarbeit (Sprache: Python, Java, JVM, R)
• Faire Entscheidungsbäume mit genetischer Programmierung Projektarbeit, Masterarbeit (Sprache: Python, Java, JVM, R, Prolog)

Compilerbau

• CUDA Zwischencode Bachelorarbeit (Sprache: C++)
• Build Spy Bachelorarbeit (Sprache: C++)
• Compiler Cache Bachelorarbeit (Sprache: C++)
• C++/C# Linker Masterarbeit (Sprache: C++)
• Statische Analyse von #Include Direktiven Bachelorarbeit (Sprache: C++)
• DSL für semantische Informationen Masterarbeit (Sprache: C++)
• Language Server Protocol Masterarbeit (Sprache: C++)
• Visualisierung von SSA und Zeigeranalysen Bachelorarbeit (Sprache: C++)

Misc.

• Disk-Backed Queue Bachelorarbeit (Sprache: C)
• Lock Free Hash Trie Bachelorarbeit (Sprache: C)
• lisb: mehr Front- und Backends Bachelorarbeit, Projektarbeit, Masterarbeit (Sprache: Clojure)
• Modellierung von Aspekten einer Blockchain Projektarbeit (Sprache: B, Event-B)
• Kanonische Form von B Prädikaten Bachelorarbeit (Sprache: Java, JVM)