People

John Bianchi

Muhammad Irzam Liaqat

Giulio Loddi

Fabio Michele Russo

Cinthya Celina Tamayo Gonzalez

Margaret Varilek

Hamza Sajjad Ahmad

Francesco Casaril

Michele Cerreta

Ravi Dhiman

Edoardo Lunati

Marco Scapin

Marco Zamponi

Silvia De Francisci

Roberto Pizziol

Manuel Pratelli

Margherita Renieri

Serenella Valiani

Giuseppe Squillace (cycle XXXV): "Dynamical systems reduction through approximate lumping techniques"

Francesca Randone (cycle XXXV): "Efficient and accurate analysis of two classes of transparent generative models"

Ivan Mercanti (cycle XXXIV): "Models and applications for the cryptocurrencies ecosystem”

Alessandro Maggi (cycle XXXIV): "The DReAM framework: a logic-inspired approach to reconfigurable system modeling“

Zainab Ali Obaid Al-Waisi (cycle XXXIV): "Optimized Monitoring and Detection of Internet of Things resources-constraints Cyber Attacks”

Giulio Garbi (cycle XXXIII): "Automatic and Accurate Performance Prediction in Distributed Systems"

Annalisa Napolitano (cycle XXXIII): "Automated Learning of Quantitative Software Models from System Traces"

Sara Belluccini (cycle XXXIII): “Exploiting Process Algebras and BPM Techniques for Guaranteeing Success of Distributed Activities”

Zorica Savanović (cycle XXXIII): "Type discipline for message-passing components in distributed systems”

Jens Seeber (cycle XXXII): "Logical Completeness for String Diagrams"

Stella Simic (cycle XXXII): "Bit-precise Verification of Numerical Properties in Fixed-point Programs"

Stefano Tognazzi (cycle XXXI): "Equivalences in differential and algebraic systems: theoretical and practical aspects" 

Isabel Cristina Perez Verona (cycle XXXI): "Approaches for the Exact Reduction of Large-scale Biochemical Models"

Doriana Medic (cycle XXXI): "Relative expressiveness of calculi for reversible concurrency"

Tabea Waizmann (cycle XXXI): "The Effect of Compression and Expansion on Stochastic Reaction Networks"

Van Tien Hoang (cycle XXXI): "Measuring Web Search Personalization"

Vincenzo Scoca (cycle XXX): "Improving service quality in cloud computing: from definition to deployment"

Mauro Coletto (cycle XXIX): "Analysis of polarized communities in online social networks"

Yehia Adb Alrahman (cycle XXIX): "A foundational theory for attribute-based communication"

Marina Andric (cycle XXIX): "Programming Abstractions for Data Sharing in Distributed Spaces"

Roberta Lanciani (cycle XXVIII): "Stochastic Approximations in Model Checking: A New Scalable Approach to Collective Systems Verification"

Rafael Brundo Uriarte (cycle XXVII): "Supporting Autonomic Management of Clouds: Service-Level-Agreement, Cloud Monitoring and Similarity Learning"

Yehia Moustafa Abd Alrahman, now Associate Professor at University of Gothenburg

Alberto Lluch Lafuente, now Full Professor at DTU Copenhagen

Hernán Melgratti, now Researcher at University of Buoenos Aires

Claudio Antares Mezzina, now Associate Professor at Univeristy of Urbino

Laura Nenzi, now Assistant Professor at Univeristy of Trieste

Francesco Tiezzi, now Associate Professor at University of Florence

Hugo Torres Vieira, now Researcher at Evidence SrL, Pisa

Max Tschaikowski, now Associate Professor at Aalborg University

Andrea Vandin, now Associate Professor at Scuola Superiore Sant'Anna

Yuriy Zacchia Lun, now Researcher at University of L'Aquila