Research and Development

Formal Methods

• Parallel and distributed algorithms for formal verification
• Effective analysis of stochastic processes and games
• Methods and algorithms for infinite state systems
• Formal analysis of component-based systems
• Quantum information processing and cryptography
• Structural graph theory and parameterized algorithmics

Computer Graphics and Image Processing

• Automated acquisition and analysis of multi-dimensional biomedical image data
• Virtual reality and visualization

Data Management

• Machine learning, data mining, and knowledge engineering
• Advanced searching methods for digital data

Large Scale Distributed Systems and Networks

• Active networks and their application
• Scheduling and planning
• Distributed computing and storage systems

Security and Embedded Systems

• Cryptographic protocols, authentication tokens and biometrics
• Security management, privacy
• Dependability of electronic systems

Enterprise Systems and Services

• Software Architectures and Enterprise Systems
• Service systems, modeling and execution

Natural Language Processing

• Ontologies and intelligent approaches to semantic web
• Syntactic and semantic analysis and knowledge representation
• Statistical processing of very large texts and automatic lexical acquisition
• Dialog systems, speech processing and assistive technologies
• Text mining

Computational Biology

• Digital Systems Biology
• Bioinformatics