- Model-Checking

- Software Theory

- Design and test of system-on-chip integrated circuits, microfluidics-based biochips and wireless/sensor networks

- Secure systems

- Computer Aided Design

- Realistic image rendering

- Scientific visualization, information visualization, computer graphics, user interface design, and high-performance computing