• Algorithm Engineering
• Automated Reasoning
• Bioinformatics
• Computational Complexity
• Computational Geometry and Computer Graphics
• Cryptography and Network Security
• Data Mining
• Molecular Computation
• Multimedia Systems
• Music Information Retrieval
• Wireless and Mobile Computing

Research project pages

• The TPTP Library of test problems for ATP systems.
• Optimization-Based Animation (as seen at SIGGRAPH 2001 and in Computer Graphics World)