Ansatte – Københavns Universitet

Fritz Henglein

Fritz Henglein

Professor

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/~henglein

ID: 7193