Research

• 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