Emilio Tuosto

University of Leicester, Gran Sasso Science Institute

Papers

Total Citations

H-Index

About

Emilio Tuosto is a computer scientist whose research focuses on the formal foundations of distributed and collective adaptive systems (CAS), with particular expertise in process algebras, behavioural types, and quantitative modelling. His work addresses fundamental challenges in specifying, verifying, and reasoning about the behaviour of complex, decentralised systems where large numbers of autonomous components interact and adapt collectively to their environment. Among his notable contributions, Tuosto has developed formal abstractions for collective adaptive systems, exploring how mathematical frameworks can capture emergent, non-functional properties — such as performance and reliability — that are critical in real-world deployments. His 2020 paper on abstractions for CAS has garnered 8 citations, while his 2023 comparative study of performance abstractions, drawing on generalised stochastic process algebras, has already attracted 4 citations, reflecting growing community interest in rigorous quantitative analysis of adaptive systems. Tuosto's broader research portfolio spans choreography-based programming, global types, and multiparty session types — areas that have significantly influenced how developers design and verify communication protocols in distributed systems. His interdisciplinary approach, bridging theoretical computer science with practical system engineering, makes his work particularly valuable to researchers tackling the growing complexity of modern networked and cyber-physical systems.