HOME | ENGLISH | IMPRESSUM | KIT

Bachelor- und Masterarbeiten

Am Lehrstuhl für Programmierparadigmen sind die unten aufgeführten Arbeiten zu vergeben:

Art Name
Bachelorarbeit Quantitative Informationsflussanalyse für Java mit Intervalverbänden
Bachelor-/Masterarbeit Statische SQL-Analyse
Masterarbeit Information Flow für Smart Contracts auf Blockchains
Masterarbeit Information-Flow-Control für X10
Masterarbeit Parallelisierung von interprozeduraler Programmanalyse
Masterarbeit Quantitative Informationsflusskontrolle für Java

Nichts gefunden?

  • Manchmal haben wir noch neue Themen, die hier noch nicht aufgeführt sind.
  • Wir sind natürlich auch für Ihre Vorschläge im Bereich der Thematik des Lehrstuhls offen.
  • Bachelorarbeiten können teilweise auch als HiWi bearbeitet werden.
  • Manche Bachelorarbeiten lassen sich zu Masterarbeiten ausweiten und umgekehrt.

Für Details am besten persönlich vorbeikommen.