Detailseite
Person
Professor Dr. Peter Thiemann
Adresse
Albert-Ludwigs-Universität Freiburg
Technische Fakultät
Institut für Informatik
Georges-Köhler-Allee 106
79110 Freiburg
-
Als Antragsteller
-
laufende Projekte
-
Trace-basierte dynamische Analyse von nebenläufigen Programmen (Sachbeihilfen)
-
-
abgeschlossene Projekte
-
Offline-Spezialisierung für Standard ML (Sachbeihilfen)
-
Typbasierte Programmanalyse für Skriptsprachen (Sachbeihilfen) -
Type-based gradual enforcement of security policies for concurrent programs (Schwerpunktprogramme)
-
Lineare Typen und Session Typen für Funktionale Programme (Sachbeihilfen)
-
Integration von Skripten in verlässliche Programme (Sachbeihilfen)
-
-
laufende Projekte
-
Als beteiligter Wissenschaftler
-
abgeschlossene Projekte
-
GRK 1103: Eingebettete Mikrosysteme (Graduiertenkollegs)
-
-
abgeschlossene Projekte
