Automation Department · Faculty of Automation and Computer Science
We develop intelligent techniques for dependability, security, and testing of information systems, with applications in cyber-physical systems, cloud-fog-edge architectures, and AI-driven control and monitoring.
Our research focuses on three interconnected pillars that drive innovation in dependable computing
Development of intelligent techniques for availability, reliability, safety, security, integrity and maintainability. Analysis, design, implementation and testing of dependable information systems used in critical infrastructure (energy, water, environment, transport) and medicine.
Development of abstractions, models, architectures and tools for reliable CPSs including cloud-fog-edge architectures, resistant to cyber or physical attacks. Development of semantic foundations for heterogeneous model composition and modelling languages for CPS physical processes.
Analysis, design, implementation and testing of intelligent real-time control and monitoring systems using AI techniques: intelligent agents, fuzzy logic, machine learning, decision support systems, and deep neural networks.
The researchers and students behind our work
Most representative projects of the last 10 years
Selected publications and patents from the past 8 years
How we collaborate with industry partners