The group investigates a large variety of computational models, such as state-based models, data-driven models, rewriting and concurrent systems, unconventional computing models (membrane computing), quantum computing, discrete mathematics, formal logics-based specifications, formal verification, model checking, model-based and search-based testing, model-based safety and reliability, security, robustness and resilience analysis, multi-agent systems, agent-based simulations and high-performance computing.

Our main application areas are:

• Systems and Synthetic Biology
• Computational Biology
• Membrane Computing
• Quantum Computing
• Intelligent Manufacturing
• Manufacturing Informatics
• Ubiquitous Systems
• Multi-agent Systems
• Swarm Intelligence
• Autonomous Systems
• Real-time Systems
• Safety-critical Systems
• Cyber-Physical Systems
• Vehicular Ad-hoc Networks