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