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
