Project Details
Person
Professor Dr. Peter Thiemann
Address
Albert-Ludwigs-Universität Freiburg
Technische Fakultät
Institut für Informatik
Georges-Köhler-Allee 106
79110 Freiburg
-
As Applicant
-
Current projects
-
Trace-based analysis of concurrent programs (Research Grants)
-
-
Completed projects
-
Offline-Spezialisierung für Standard ML (Research Grants)
-
Typbasierte Programmanalyse für Skriptsprachen (Research Grants) -
Type-based gradual enforcement of security policies for concurrent programs (Priority Programmes)
-
LaST-FP: Linear Types and Session Types for Functional Programming (Research Grants)
-
Integration of Scripts in Reliable Programs (Research Grants)
-
-
Current projects
-
As Participating Researcher
-
Completed projects
-
GRK 1103: Embedded Microsystems (Research Training Groups)
-
-
Completed projects
