Fritz Henglein

Fritz Henglein


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),
  • Trustworthy Pervasive Healthcare Services (TrustCare),

Undervisnings- og vejledningsområder

See my home page,

ID: 7193