- Algorithms design and the complexity analysis of combinatorial problems
- Scheduling theory, especially in multiprocessor systems
- Design of parallel algorithms
- Compilers design
- Real-time systems
- Software engineering methodologies
- Computer aided design of electronic systems
- Combinatorial aspects of molecular biology
- Sequencing by Hybridization
- Protein data analysis
- Numerical methods for solving differential equations
- Interval analysis
- Verified and reliable computing