| Complete name | Profile Link |
Thesis | Current Position |
| 17 cycle |
 | Francesco Savelli | Personal site | Topological mapping of ambiguous spaces: combinino qualitative biases and metrical information |
|
| Marcelo Alejandro Oglietti | Personal site | The planning problem in AI: Structuring domains and evaluating plans |
Institutional Relations Department Head, Comisión Nacional de Actividades Espaciales (CONAE), Argentina |
| Toni Mancini | | Declarative constraint modelling and specification-level reasoning |
Assistant Professor [ricercatore], University of Rome La Sapienza |
| Alessandro Farinelli | | Distributed task assignment for real world environment |
Assistant Professor [ricercatore], University of Verona |
| Daniela Berardi | | Automatic Service Composition. Models, Techniques and Tools |
Professional Consultant, Altran Italia, Italia |
| 16 cycle |
| Daniele Pianura | | |
|
| Tiziano Inzerilli | | Efficient traffic control for wireless TCP links |
Postdoctoral fellow [assegno di ricerca], University of Rome La Sapienza |
| Stephen Kimani | | Visual Information Discovery |
Professor, Jomo Kenyatta University of Agriculture and Technology, Nairobi, Kenya and Visiting Researcher, CSIRO, Australia |
| 18 cycle |
| Enrico Bertini | Personal site | A Sampling Approach to Deal with Cluttered Information Visualizations |
Postoctoral Fellow at University of Fribourg, Switzerland |
| Andrea Ferrara | Personal site | Formal Verification: further Complexity Issues and Applications |
|
| Giorgio Grisetti | Personal site | Scaling Rao-Blackwellized Simultaneous Localization and Mapping to Large Environments |
Assistant Professor, La Sapienza |
| Sara Tucci Piergiovanni | | Concurrent Connectivity Maintenance with Infinitely Many Processes |
CEA (Commissariat à l'Energie Atomique), lab. of applied research in software-intensive technologies |
| 15 cycle |
| Andrea Calì | Personal site | Query answering and optimisation in data integration systems |
|
| Carlo Marchetti | | A three-tier architecture for active software replication |
Officer at Italian Senate |
| Massimo Romano | | A Cognitive Vision System Based on Bayes Combination of Geometric Features |
|
| Andrea Santoro | | Semi-Asynchronous Checkpointing for Optimistic Parallel Simulation |
Research Assistant at ENEA |
| 14 cycle |
| Marco Benedetti | | Bridging Refutation and Search in Propositional Satisfiability |
Banca d'Italia |
| Alberto Finzi | | |
http://www.linkedin.com/profile/view?id=228298&authType=NAME_SEARCH&authToken=oIA0&locale=en_US&srchid=0eb99f4a-50ca-4f5d-9e42-bde4a89dac3e-0&srchindex=1&srchtotal=2&goback=%2Efps_PBCK_*1_Alberto_Finzi_*1_*1_*1_*1_*2_*1_Y_*1_*1_*1_false_1_R_*1_*51_*1_*51_ |
| Massimo Mecella | | Cooperative Processes and eServices |
Assistant Professor [ricercatore], University of Rome La Sapienza |
| 13 cycle |
| Camil Demetrescu | Personal site | Fully Dynamic Algorithms for Path Problems on Directed Graphs |
Associate Professor, University of Rome La Sapienza |
| Maurizio Pizzonia | | Engineering of Graph Drawing Algorithms for Applications |
Assistant Professor, Roma Tre University |
| 12 cycle |
| Marco Daniele | | Advances in Planning as Model Checking |
|
| Walter Didimo | | Flow Techniques and Optimal Drawings of Graphs |
Associate Professor, University of Perugia |
| Enver Sangineto | | Classificazione Automatica d'immagini Tramite Astrazione Geometrica |
Postdoctoral fellow [assegno di ricerca] at University of Rome La Sapienza |
| 11 cycle |
| Francesco Baruchelli | | |
|
| Luca Iocchi | | Design and Development of Cognitive Robots |
Assistant Professor, University of Rome La Sapienza |
| Massimiliano Parlione | | Remote Class Inheritance |
Software Laboratory IBM Dublin, Ireland |
| Francesco Quaglia | | Consistent checkpointing in distributed computations: theoretical results and protocols |
Associate Professor, University of Rome La Sapienza |
| 10 cycle |
| Battaglini Gianluca | | Analysis of Manufacturing Yields Evaluation of VLSI/WSI Systems: Methods and Methodologies |
|
| Piergiorgio Bertoli | | Using OMRS in practice: a case study with Acl-2 |
Researcher at ITC-irst |
| Chiara Ghidini | | A semantics of contextual reasoning: theory and two relevant applications |
Senior Research Scientist at FBK-irst |
| Fabio Massacci | | Efficient approximate deduction and an application to computer security |
Full Professor, University of Trento |
| 19 cycle |
| Paolo Romano | Personal site | Protocols for End-to-End Reliability in Multi-Tier Systems |
Researcher at the Universidade Técnica de Lisboa |
| Vincenzo Bonifaci | Personal site | Models and Algorithms for Online Server Routing |
Postdoctoral fellow at Max-Planck-Institute for Computer Science, Saarbrücken, Germany |
| Luca Allulli | Personal site | Cache Oblivious Computation of Shortest Paths: Theoretical and Practical Issues |
Software Engineer at Atac SpA |
| Diego Milano | | XML Structure Aware Object Identification |
Postdoctoral fellow, University of Basel |
| Leonardo Querzoni | Personal site | Techniques for Efficient Event Routing |
Assistant Professor [ricercatore], University of Rome La Sapienza |
| Luigi Dragone | Personal site | Modeling and Reasoning about e-services in Cooperative Information Systems |
Software Engineer at CM Sistemi SpA |
| Marco Ruzzi | Personal site | Efficient Data Integration Under Integrity Constraints: a Practical Approach |
Postdoctoral fellow [assegno di ricerca] at University of Rome La Sapienza |
| Alessia Milani | Personal site | Causal Consistency in Static and Dynamic Distributed Systems |
Postdoctoral fellow at Technion, Israel Institute of Technology |
| Federico Pecora | Personal site | Multi-Agent Planning and Coordination Under Resource Constraints |
Postdoctoral fellow at Örebro University, Sweden |
| 20 cycle |
| Giorgio Ugazio | | |
|
| Vittorio Amos Ziparo | Personal site | Multi-Robot Teams for Multi-Objective Tasks |
Contract Professor, University of Rome La Sapienza |
| 9 cycle |
| Riccardo Rosati | | Autoepistemic Description Logics |
Associate Professor, University of Rome La Sapienza |
| Paolo Di Blasio | | A Calculus for Concurrent Objects: Design and Control Flow Analysis |
|
| 8 cycle |
| Flavio Corradini | | Space, time and nondeterminism in process algebras |
Assistant Professor [ricercatore], University of Camerino |
| Marco Cesati | | Structural aspects of parameterized complexity |
Assistant Professor [ricercatore], University of Rome Tor Vergata |
| Diego Calvanese | | Unrestricted and finite modeling reasoning in class-based representation formalisms |
Associate Professor, Free University of Bozen-Bolzano |
| Luca Cabibbo | | Querying and updating complex-object databases |
Associate Professor, Roma Tre University |
| 7 cycle |
| Michele Flammini | | Compact routing models: some complexity results and extensions |
Full Professor, University of L'Aquila |
| Esteban Feuerstein | | On-line paging of structured data and multi-threaded paging |
Associate Professor, Universidad de Buenos Aires |
| Vincenzo Ferrucci | | Dimension-independent solid modeling |
|
| Antonella Cresti | | Unconditionally secure key distribution protocols |
|
| Piera Barcaccia | | On the complexity of some time slot assignment problems in switching systems |
|
| 6 cycle |
| Roberto Baldoni | | Mutual exclusion in distributed systems |
Full Professor, University of Rome La Sapienza |
| 5 cycle |
| Annalisa Massini | | High efficiency self-routing interconnection networks |
Associate Professor, University of Rome La Sapienza |
