Awards for Best Italian PhD Theses in Theoretical Computer Science

• 2010 Selection Committe: 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 Bogliesi -- 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