Fritz Henglein
Department of Computer Science (DIKU)
University of Copenhagen
Universitetsparken 1
DK-2100 Copenhagen
Denmark

Office: Room 3-2-17
Email: henglein@diku.dk
Telephone: +45-30589576 (cell)
Skype: henglein

Research

Teaching

Professional

Personal

Fritz Henglein

Professor
Head of Algorithms and Programming Languages (TOPPS) researcher group
Director of HIPERFIT research center

Research

Interests

• 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

Publications

• Papers
• Books and proceedings (edited)
• Select software

Is my research popular? Check for yourself. Use Google Scholar (covers just about all of recent computer science) or CiteSeer (covers quite a bit). Please do not rely on Thomson Reuters ISI since it covers only a tiny fraction of computer science publications, omitting almost all of the most high-profile computer science conferences (Note that computer science conferences are peer-reviewed).

Projects

• Applications and Principles of Programming Languages (APPL)
• 3d generation Enterprise Resource Planning Systems (3gERP)
• Trustworthy Pervasive Healthcare Services (TrustCare)

Teaching

Upcoming courses

• Topics in Programming Languages: Theory and practice of regular expressions (graduate course), 4th quarter of 2009/10
• Logic in computer science (elective undergraduate course, may also be taken by graduate students)
• Introduction to (functional) programming (undergraduate course, in Danish)

Professional

Conferences and workshops

• DBPL 2011
• STOP 2011
• TLDI 2011
• ICFP 2010
• Haskell 2010

Outreach

• My blog on the DIKU student web portal (mostly in Danish)
• My LinkedIn profile

Personal

• Short biography
• Curriculum vitae

---

Fritz Henglein (henglein@diku.dk )