Performance, dependability, critical systems
Multi-formalism modelling, stochastic processes, simulation, reliability, and availability. Heterogeneous, concurrent, and distributed systems are studied to compare design choices and failure scenarios.
RESEARCH / THEMES AND METHODS
Model complexity.
Make choices explicit.
A research practice connecting quantitative methods, computer engineering, and questions about the quality, trustworthiness, and responsibility of digital systems.
How can we understand and govern systems combining software, data, infrastructure, and people?
My work addresses this question from formal modelling and performance evaluation to cloud and edge computing, security, privacy, and explainable AI. Interdisciplinary collaborations bring analytical methods to diverse domains, including transport, digital services, the environment, and public administration.
Cloud, edge, HPC, and data
Architectures for cloud and fog computing, high-performance systems, big data, and the Internet of Things. Key concerns include performance, resource allocation, scalability, and service quality.
Privacy, security, explainable AI
Early-stage design assessment, data lifecycle management, security, and model interpretability. The aim is to integrate safeguards and quality into architecture rather than bolt them on afterwards.
Applications and impact
Models and methods are applied across domains: rail and industrial systems, health services and IoT devices, environmental and maritime monitoring, public services, and cultural technologies.
HOW THE WORK UNFOLDS
From formalism
to informed decisions.
Represent
Define a model that preserves essential system properties and relationships among components.
Evaluate
Use quantitative analysis and simulation to compare performance, dependability, risk, and scenarios.
Contextualise
Interpret results in light of users, constraints, rights, organisational practices, and institutional settings.
COLLABORATION
Research is a collective
and open endeavour.
The work spans national and international projects, interdisciplinary groups, and cooperation among universities, research centres, industry, and public bodies. Roles include scientific coordination of research units and participation in European networks.
Read about networks and institutional work →