Software Engineering: Software Verification, Real-time Systems, Domain Specific Languages, Interoperability.
Parallel and Distributed Processing: High Performance AI and Constraint Logic Programming Systems, Automatic Parallelization, Parallel Architectures, Applications.