Research Interests

  • Multi-paradigm programming languages, in particular, integration of functional and logic programming languages (I have written an often cited older survey, a newer survey, and a short review on this subject).
    I am involved in the design of the multi-paradigm declarative language Curry and the implementation of Curry with PAKCS, KiCS2, and Curry2Go. In ancient times, I led a project to build the ALF system, an older algebraic functional logic language.
  • Abstract interpretation of logic, functional logic and constraint logic programming languages
  • Implementation of declarative programming languages
  • Verification of declarative programs
  • Software engineering for declarative programming
  • Applications, like web programming, e-learning, embedded system programming, etc.

Conference Activities

Other Scientific Activities

Selected Projects