University of Pisa - Department of Computer Science

subglobal1 link | subglobal1 link | subglobal1 link | subglobal1 link | subglobal1 link | subglobal1 link | subglobal1 link
subglobal2 link | subglobal2 link | subglobal2 link | subglobal2 link | subglobal2 link | subglobal2 link | subglobal2 link
subglobal3 link | subglobal3 link | subglobal3 link | subglobal3 link | subglobal3 link | subglobal3 link | subglobal3 link
subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link | subglobal4 link
subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link | subglobal5 link
subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link | subglobal6 link
subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link | subglobal7 link
subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link | subglobal8 link

PhD Activities

    Schools Attended

    • Bertinoro International Spring School for Graduate Studies in Computer Science (BISS06) – From 6-17 March 2006
      • Access Control Systems for Database Systems - Prof. E. Bertino
      • Calculi and Languages for Distributed Mobile Computation - Prof. R. De Nicola
      • Data Mining - Prof. R. Meo
      • Implicit Computational Complexity - Prof. S. Martini


    Couses Attended

    • Model Checking – Prof. E. Tronci 
    • Abstraction and Approximation via Abstract Interpretation – Prof. G. Levi
    • Similarity Search – Prof. P. Zezula
    • Advanced Parallel Programming Languages – Prof. M. Danelutto
    • Corso di Logica per l'informatica – Prof. A. Masini 
    • Corso di Inglese Scientifico – Prof. A. Wallwork


    Seminars Attended

    • Advances in Operating Systems – Prof. S. Pelagatti


    Participation in



    Other Research Activities

©2007 Department of Computer Science