No photo of Fritz Henglein

Fritz Henglein

M.S., Ph.D. in computer science

1991 …2017

Research activity per year

Personal profile

CV

Please see my home page: http://www.diku.dk/~henglein

Primary fields of research

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.

Current research

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

Teaching

See my home page: http://www.diku.dk/~henglein

Knowledge of languages

German, English, Danish (fluent, both oral and written); Dutch (rudimentary)

Fields of interest

See primary fields of research.

Beyond this I am interested in the following:

Simple software---useful high-performance software with orders of magnitude less code than conventional software 

Logic, mathematics and statistics---for fun and practical use, both abstract stuff and useful stuff (particularly useful abstract stuff) 

Soccer (both active and watching)

Movies (from Avatar to Brazil and beyond) 

Good food (eating it, I'm not much of a cook)

Agile businesses (e.g. previous DIKU spin-off Hafnium ApS, my farm, or my 17-year old son's Bavarian beer import company)

 

 

Introductory remarks on publicationslist

The publications registered in CURIS (this system) and PUF (previous publication registration system at U. Copenhagen) are unfortunately incomplete and partially incorrect (particularly for PUF-registered publications). Since the registered information is practically very difficult to change at this point, for full information, including access to PDF-version of the papers, please see my home page: http://www.diku.dk/~henglein.

Keywords

  • Faculty of Science
  • Functional programming
  • Program analysis
  • Software technology
  • Domain-specific languages
  • Type systems

Fingerprint

Dive into the research topics where Fritz Henglein is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 6 Similar Profiles