Research Interests

  • Semantic Web Services (WSMO, WSML)

  • Internet Technologies

  • Constraint Logic Programming

  • Programming Language Semantics

  • Compiler Design

  • Declarative Programming Languages

  • Expert Systems

  • Automated Deduction

  • Automata Theory

  • Frame Logic

  • Functional Programming

  • Knowledge Based Systems

  • Intelligent Agents.