Research Interests

  • Multi-paradigm programming languages, in particular, integration of functional and logic programming languages (I have written an 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 and KiCS2. I also 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
  • Type systems for logic programming languages
  • Software engineering for declarative programming
  • Applications, like web programming, e-learning, embedded system programming, etc.

Scientific Activities

Scientific activities before 2010


Projects