Emilio Tuosto

Emilio Tuosto is a Full Professor at the Gran Sasso Science Institute (GSSI) in L'Aquila, Italy, where he leads the Computer Science Department. Previously, he held an Associate Professor position at the University of Leicester's School of Informatics (UK). His research focuses on formal methods, distributed systems, and behavioral specifications. He earned his PhD in Computer Science from the University of Pisa in 2003 and holds a degree from the same institution (1998).

His research explores theoretical and applied aspects of complex distributed systems, including automata-based models of distributed choreographies and contract-based interaction frameworks. Key projects include BehAPI (Marie Skłodowska-Curie Actions RISE project) and DeLiCE (Decentralised Ledgers in Circular Economy). He actively contributes to conferences like COORDINATION and ECOOP, and organizes GSSI's seminar series.

Recent work includes tools like TRAC for data-aware coordination, MoCheQoS for QoS analysis, and CIRC (reversible computing). His publications span formal choreographic languages, static analysis for C programs, and behavioral types for local-first software.

Collaborations involve institutions like IMT Lucca, University of Pisa, and international teams. Tuosto's contributions bridge theoretical foundations with practical implementations in distributed systems and formal methods.