Fritz Henglein
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, Bygning B, 2100 København Ø, Bygning B, Bygning: 01-0-009
ORCID: 0000-0001-5190-2125
Primære forskningsområder
- Algorithmic, semantic and logical aspects of programming languages
- Type systems, type inference and type-based program analysis
- Algorithmic functional programming
- Application of programming language technology to enterprise, financial, healthcare, e-government systems, etc.
Aktuel forskning
Ongoing research projects:
- Applications and Principles of Programming Languages (APPL)
- 3d generation Enterprise Resource Planning Systems (3gERP), www.3gERP.org
- Trustworthy Pervasive Healthcare Services (TrustCare), www.TrustCare.eu
Undervisnings- og vejledningsområder
See my home page, https://www.diku.dk/~hengleinID: 7193
Flest downloads
-
299
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
196
downloads
Big Data eller privacy?
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
137
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
Udgivet