Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Forschung / Sonstige Forschungsarbeiten


Inhaltsbereich

Sonstige Forschungsarbeiten

 

Rechnergestütztes Beweisen

  • Halbautomatische Verifikationsverfahren für verteilte Algorithmen (Abstraktes Model Checking)
  • Logiken für objektorientierte Programmiersprachen

 


Komplexitätstheorie
  • Ressourcenfreie Charakterisierungen von Komplexitätsklassen
  • Charakterisierung paralleler Komplexitätsklassen
  • Anwendung auf Speicherverwaltungsprobleme


Typentheorie und Lambdakalküle

  • Programmieren mit unendlichen Datenstrukturen (Ströme, reelle Zahlen, Continuations, unendlich verzweigte Bäume)
  • Höherstufige Syntax

 

Verifikation

  • muSABRE - SAT-Based Verification of Regular Properties
(DFG-Antrag in Vorbereitung)

 

Kombinatorische Optimierung

  • Stundenplanung
  • Dynamische Speicherzuweisung

 

 

 Laufende Projekte

 

 

 

 

Artikelaktionen


Funktionsleiste