Key research areas

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
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