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

Some proceedings of international conferences edited by me:

PADL 2023   FLOPS 2022   WFLP 2020   DECLARE 2017   KDPD 2013     LOPSTR 2008   INAP/WLP 2007   PADL 2007   FDPE 2005   WCFLP 2005   INAP/WLP 2004   ALP 1997   ALP 1996

Recent conference activities:

Other Scientific Activities

Selected Projects