His research interests are:
Programming Languages: Implementation, Semantics, Applications, Constraint and Logic Programming, Static Analysis.
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.
Artificial Intelligence: Logic-based intelligent systems, constraint satisfaction, constraint programming, implementation
Human-Computer Interaction: Tools for Visually Impaired; Intelligent Interfaces.