Awards for Best Young Researcher in Theoretical Computer Science

• 2018 Selection Committee: Luca Aceto (Reykjavik University), Gianluca Della Vedova (Università di Milano-Bicocca), Rossella Petreschi (Università di Roma "La sapienza")
  • Dott. Nicola Prezza (Università di Pisa)
• 2017 Selection Committee: Dino Mandrioli (Politecnico di Milano),  Mimmo Parente (Università di Salerno), Rossella Petreschi (Università di Roma "La Sapienza")
  • Dott. Francesco Pasquale (Università di Roma Tor Vergata)
• 2016 Selection Committee: Pino di Battista (Università di Roma Tre), Simone Faro (Università di Catania), Dino Mandrioli (Politecnico di Milano)
  • Dott. Gianlorenzo D'Angelo - Gran Sasso Science Institute
• 2015 Selection Committee: Mariangiola Dezani (Università di Torino), Pino di Battista (Università di Roma Tre), Antonio Restivo (Università di Palermo)
  • Dott. Ugo Dal Lago - Università degli Studi di Bologna
• 2014 Selection Committee: Mariangiola Dezani (Università di Torino), Raffaele Giancarlo (Università di Palermo), Andrea Pietracaprina (Università di Padova)
  • Dott. Flavio Chierichetti - Università di Roma "La Sapienza"
• 2013 Selection Committee: Mariangiola Dezani (Università di Torino), Luisa Gargano (Università di Salerno), Geppino Pucci (Università di Padova)
  • Dott. Luca Moscardelli - Università degli Studi di Chieti-Pescara

Awards for Best Italian PhD Theses in Theoretical Computer Science

• 2018 Selection Committee: Vincenzo Auletta (Università di Salerno), Ferdinando Cicalese (Università di Verona), Carla Piazza (Università di Udine)
  • Michele Ciampi (University of Edinburgh), Round and computational efficiency of two-party protocols, Luisa Siniscalchi (Università di Salerno), Delayed-input and non-malleable cryptographic protocols

• 2017 Selection Committee: Prof. Alessandra di Pierro (Università di Verona), Prof. Gianluigi Greco (Università della Calabria), Prof. Guido Proietti (Università dell'Aquila)
  • Emanuele Natale (Max-Planck-Institut für Informatik): On the computational power of simple dynamics selection
• 2016 Selection Committee: Prof. Paola Bonizzoni (Università di Milano-Bicocca), Prof. Michele Flammini (Università dell'Aquila), Prof. Marinella Sciortino (Università di Palermo)
  • Ilario Bonacina (supervisor: Prof. Nicola Galesi): Space in weak propositional proof system
• 2015 Selection Committee: Prof. Andrea Masini (Università di Verona), Prof. Margherita Napoli Carpi (Università di Salerno), Dott. Paolo Santi (CNR-IIT di Pisa)
  • Ornela Dardha (supervisor: Prof. Davide Sangiorgi): Type Systems for Distributed Programs: Components and Sessions
• 2014 Selection Committee: Prof. Franco Barbanera (Università di Catania), Prof. Arturo Carpi (Università di Perugia), Prof.ssa Rossella Petreschi (Università di Roma "La Sapienza")
  • Livio Bioglio (supervisor: Prof. Mariangiola Denzani): Type Disciplines for Systems Biology
  • Andrea Marino (supervisor: Prof. Pierluigi Crescenzi): Algorithms for Biological Graphs: Analysis and Enumeration
• 2013 Selection Committee: Prof. Andrea Clementi (Università di Roma tor Vergata), Prof. Mimmo Parente (Università di Salerno), Prof.ssa Elena Zucca (Università di Genova)
  • Alessandra Scafuro (supervisor: Prof. Ivan Visconti, ): Secure Computation Under Network and Physical Attacks
  • Jacopo Mauro (supervisor: Prof. Maurizio Gabbrielli): Constraints Meet Concurrency
• 2012 Selection Committee: Marcella Anselmo, Pierluigi Crescenzi, Gianluigi Zavattaro
  • Fabio Mogavero (supervisor: Prof. Ph.D. Aniello Murano, Univ. degli Studi di Napoli "Federico II"): Logics in Computer Science
  • Rossano Venturini (supervisor: Prof. Paolo Ferragina, Univ. degli Studi di Pisa): On searching and extracting strings from compressed textual data
• 2010 Selection Committee: Paola Giannini, Giuseppe Persiano, Alberto Policriti
  • Pietro Sala (supervisor: Prof. Angelo Montanari, Univ. di Udine): Decidability of Interval Temporal Logics
  • Blerina Sinaimeri (supervisor: Prof. Janos Korner, Univ. di Roma La Sapienza): Structures of Diversity
• 2009 Selection Committee: Irene Finocchi, Francesca Rossi, Pierluigi San Pietro

  • Filippo Bonchi (supervisor: Prof. Ugo Montanari, Univ. di Pisa): Semantica Astratta via Contesti Osservabili
  • Luca Moscardelli (supervisors: Prof. Michele Flammini, Univ. dell'Aquila): The Impact of Non-Cooperativeness and of Limited Resources and Social Knowledge on Distributed Systems: Performances and Complexity
• 2007 Selection Committee: Michele Bugliesi, Arturo Carpi, Stefano Leonardi

  • Vincenzo Bonifaci  (supervisors: Giorgio Ausiello , Univ La Sapienza Roma, Jan Karel Lenstra, Technische Universiteit Eindhoven): Models and Algorithms for Online Server Routing
  • Ivan Lanese (supervisor: Prof. Ugo Montanari, Univ. di Pisa): Synchronization Strategies for Global Computing Models
• 2006 Selection Committee: Alberto Bertoni, Magiangiola Dezani-Ciancaglini, Raffaele Giancarlo

  • Giuseppa Castiglione (supervisor: Prof. Antonio Restivo, Università di Palermo): L-Convex Polyominoes: Reconstruction, Enumeration and Ordering
  • Ugo Dal Lago (supervisor: Prof. Simone Martini, Università di Bologna): Semantics Frameworks for Implicit Computational Complexity
• 2005 Selection Committee: Bruno Codenotti, Andrea Maggiolo Schettini, Filippo Mignosi

  • Isabella Mastroeni (supervisors Prof. Roberto Giacobazzi -- Universita' di Verona): Abstract Non-interference: An Abstract Interpretation-based Approach to Secure Information-flow
  • Vittorio Bilo' (Prof. Michele Flammini -- Universita' di L'Aquila): Pricing and equilibria in Non-cooperative Networks
• 2004 Selection Commitee: Gianfranco Bilardi, Giovanni Pighizzini, Marisa Venturini Zilli. (Photo: 1 2 3 4)

  • Daniela Besozzi (supervisors Prof.Giancarlo Mauri -- Milano): Computational and modelling power of P systems
  • Luca Paolini (Prof. J.Y. Girard -- IML - UPR 9016 - CNRS DISI, and Prof. G. Rosolini -- Universita' di Genova): Lambda-theories: some investigations
• 2003  Selection Committee: Prof. Stefano Crespi Reghizzi, Prof. Pierpaolo Degano, Prof. Ugo Vaccaro

  • Silvia Crafa (supervisors Prof. Michele Bugliesi -- Venezia, and Dr. Giuseppe Castagna -- ENS Paris): Models and Types for Wide Area Computing The calculus of Boxed Ambients
  • Andrea Frosini (supervisor Prof. Alberto Del Lungo -- Siena): Complexity Results and Reconstruction Algorithms for Discrete Tomography
• 2002 Selection Committee: Prof. Mario Coppo, Prof.  Alberto Marchetti Spaccamela, Prof. Stefano Varricchio.

  • Mario Bravetti (supervisor Prof. Roberto Gorrieri -- Bologna): Specification and analysis of real time systems
  • Camil Demetrescu (supervisor Prof. Umberto Nanni -- Roma): Fully dynamic algorithms for path problems on directed graphs
• 2001 Selection Committee: Prof. Pierluigi Crescenzi, Prof. Roberto Gorrieri, Prof. Giorgio Levi

  • Stefano Bistarelli (supervisors U.Montanari -- Pisa, and F.Rossi -- Padova): Soft Constaint Solving and Programming: A General Framework
  • Ferdinando Cicalese (supervisors U.Vaccaro -- Salerno, and D.Mundici -- Milano): Reliable Computation with Unreliable Computation
• 2000 Selection Committee: Prof. Pino Italiano, Prof. Giancarlo Mauri, Prof. Simone Martini

  • Luca Becchetti (supervisor Prof. Alberto Marchetti-Spaccamela): Efficient Resource Management in High Bandwidth Networks
  • Chiara Bodei (supervisor Prof. Pierpaolo Degano): Security Issues in Process Calculi
• 1999 Selection Committee: Prof. Antonio Restivo, Prof. Simonetta Ronchi, Prof. Alfredo de Santis

  • Marco Bernardo (supervisor Prof. Roberto Gorrieri): Theory and Application of Extended Markovian Process Algebra
  • Salvatore Ruggieri (supervisor Prof. Dino Pedreschi): Verification and Validation of Logic Programming
• 1998 Selection Committee: Prof. Giorgio Ausiello, Prof. Rocco De Nicola, Prof. Nicoletta Sabadini

  • Anna Bernasconi (supervisor Prof. Bruno Codenotti): Mathematical Techniques for the Analysis of Boolean Functions
  • Nadia Busi (supervisor Prof. Roberto Gorrieri): Petri Nets with Inhibitors and Read Arcs: Semantics, Analysis and Applications to Process Calculi
• 1997 Selection Committee: Prof. Egidio Astesiano, Prof. Aldo De Luca, Prof. Fabrizio Luccio

  • Paolo Ferragina (supervisor Prof. Fabrizio Luccio): Dynamic Data Structures for String Matching Problems
  • Massimo Marchiori (supervisor Prof. Livio Colussi): Analisi Locale e Localizzazioni
• 1996 Selection Committee: Prof. Alberto Bertoni, Prof. Corrado Bohm, Prof. Ugo Montanari
  • Stefano Guerrini (supervisor Prof. Simone Martini): Aspetti Teorici e Realizzativi delle Implementazioni di Linguaggi Funzionali
  • Giuseppe Liotta (supervisor Prof. Giuseppe Di Battista): Computazione di Disegni di Prossimità di Grafi

Awards for Best Italian Master Thesis in Theoretical Computer Science.

• 2018 Selection Committee: EATCS-IT Council
  • Francesco Dagnino (University of Genova): "Generalizing inference systems by coaxioms"
• 2017 Selection Committee: EATCS-IT Council
  • Alessio Mansutti (University of Udine): "Le simulazioni lasche"
• 2016 Selection Committee: EATCS-IT Council.
  • Massimo Cairo (University of Pisa): "New Bounds for Approximating Extremal Distances in Undirected"
• 2015 Selection Committee: EATCS-IT Council.
  • Alberto Molinari (University of Udine): "Model Checking and Interval Temporal Logics: Checking Interval Properties of Computations".
  • Giulio Ermanno Pibiri (University of Pisa): "Dynamic Elias-Fano Econding".