Informazioni personali Cognome Vigna Nome Sebastiano Data di nascita 22/6/1967

Transcript

1 Sebastiano Vigna CURRICULUM VITAE Formazione Informazioni personali Cognome Vigna Nome Sebastiano Data di nascita 22/6/ : Laurea in matematica (magna cum laude) presso l Università degli Studi di Milano (Una teoria categoriale degli alberi). 1996: Dottorato in informatica presso l Università degli Studi di Milano (Distributive computability). Carriera : Ricercatore presso il Dipartimento di Scienze dell Informazione dell Università degli Studi di Milano ora: Professore associato presso il Dipartimento di Informatica dell Università degli Studi di Milano. Progetti di ricerca, collaborazioni e contratti Membro dei progetti europei Esprit NeuroColt (area 3) e Esprit NeuroColt II (area 3), per quanto riguarda il calcolo con numeri reali. Membro del progetto EP Delis (Dynamically Evolving, Large-scale Information Systems). Collaboratore dell IIT (precedentemente chiamato Istituto di Matematica Computazionale) del CNR di Pisa. Consulente nel per Italia OnLine (Wind) per quanto riguarda il motore di ricerca italiano Arianna. 1

2 Collaborazione con l università di Nagaoka (Giappone) per l utilizzo di Ubi- Crawler [15] all interno del Language Observatory Project, un progetto UN- ESCO finanziato dal ministero della ricerca giapponese. Consulente per il gruppo di sviluppo di GATE all Università di Sheffield per l implementazione del motore di ricerca semantico Mímir. Consulente per Pitagora e Cerved, il più grande database di imprese italiane. Consulente per l Internet Memory Foundation per la realizzazione di un crawler ad alte prestazioni. Coordinatore per l unità di Milano del progetto EU-STREP FET NADINE (New tools and Algorithms for DIrected Network Analysis). Yahoo! Faculty Grant nel 2010, 2012, Principal investigator in un Google Focused Award ( ) sul tema delle strutture succinte applicate (circa USD per sei PI su tre anni). Altre attività di ricerca Sono stato program (co-)chair della Social networks and graph analysis track, World-Wide Web Conference, Sono stato nel comitato di programma di diversi convegni, tra cui WWW (Search, Social-Network Analysis), ACM Web Science, WSDM, SPIRE, SPAA, STACS, DISC, SPIRE, SIROCCO. Sono stato revisore per le riviste Information Retrieval, SIAM Journal on Computing, ACM Transactions on the Web, Theoretical Computer Science, Information & Computation, Networks, Distributed Computing, Science of Computer Programming, Data & Knowledge Engineering, Software: Practice & Experience, Linear Algebra and Its Applications, Journal of System Architecture, ACM Transactions on the Web, ACM Transactions on Knowledge Discovery from Data, Network Science, Transactions on Parallel and Distributed Systems. Sono uno degli inventori del brevetto US SEGMENTATION OF INTERLEAVED QUERY MISSIONS INTO QUERY CHAINS. Premi: best paper a ACM/IEEE WI 2009 [43], best paper a ACM Web Science 2012 [36]. Insegnamento e attività organizzative Nell anno accademico ho insegnato il corso di algoritmi e complessità e il corso di algoritmica per il web presso la laurea magistrale in informatica. Inoltre, ho tenuto il laboratorio di informatica presso il corso di laurea triennale in comunicazione digitale. 2

3 Precedentemente, ho tenuto per dodici anni il corso di programmazione 1 presso il corso di laurea in matematica. Sono stato relatore di circa 20 tesi di laurea. Ho tenuto diversi corsi di dottorato presso l Università degli Studi di Milano. Interessi di ricerca Analisi di grafi e reti sociali. Compressione di grafi. Strutture per il trattamento di dati di grandi dimensioni. Strutture dati succinte. Meccanismi di ranking. Motori di ricerca e in particolare tecniche di indicizzazione. Crawling del web ad alte prestazioni. Calcolo distribuito (reti anonime e sistemi auto-stabilizzanti). Calcolabilità sui reali. Software e dati fastutil librarie Java ad alte prestazioni per strutture dati su tipi primitivi; BUbiNG un crawler scalabile ad alte prestazioni, completamente distribuito (con Paolo Boldi, Andrea Marino e Massimo Santini) [63]; MG4J motore di ricerca in Java contenente diversi nuovi algoritmi (con Paolo Boldi) [35, 52, 51]; WebGraph un framework per la compressione e analisi di grafi (con Paolo Boldi) [53, 13, 39, 36, 34]; Sux implementazione allo stato dell arte di diverse strutture dati succinte in C++ [47]; Sux4J implementazione allo stato dell arte di diverse strutture dati succinte in Java, inclusi hash (monotoni) minimali perfetti [47, 44, 4]; ne un editor semplice ma potente per UN*X; Dataset LAW Un insieme di grafi di dimensione variabile da pochi milioni a un miliardo di nodi, facilmente scaricabili in formato WebGraph dal sito del LAW ( e utilizzati frequentemente dalla comunità di ricerca internazionale. I progetti descritti sono disponibili sotto licenza Apache o (L)GPL. 3

4 Pubblicazioni scelte Le pubblicazioni a convegno che sono state espanse e pubblicate su rivista non compaiono in questo elenco. Riviste internazionali [1] Young-Ho Eom, Pablo Aragón, David Laniado, Andreas Kaltenbrunner, Sebastiano Vigna e Dima L. Shepelyansky. Interactions of cultures and top people of Wikipedia from ranking of 24 language editions. PLoS ONE, 10(3), [2] Paolo Boldi e Sebastiano Vigna. Axioms for centrality. Internet Math., 10(3-4): , [3] Paolo Boldi, Marco Rosa e Sebastiano Vigna. Robustness of social and web graphs to node removal. Social Network Analysis and Mining, 3: , [4] Djamal Belazzougui, Paolo Boldi, Rasmus Pagh e Sebastiano Vigna. Theory and practice of monotone minimal perfect hashing. ACM Journal of Experimental Algorithmics, 16(3):3.2:1 3.2:26, [5] Paolo Boldi e Sebastiano Vigna. E = I + T : The internal extent formula for compacted tries. Inform. Process. Lett., 111: , [6] Paolo Boldi, Francesco Bonchi, Carlos Castillo e Sebastiano Vigna. Viscous democracy for social networks. Commun. ACM, 54: , June [7] Paolo Boldi, Francesco Bonchi, Carlos Castillo e Sebastiano Vigna. Query reformulation mining: models, patterns, and applications. Information Retrieval, 14: , [8] Paolo Boldi, Massimo Santini e Sebastiano Vigna. Permuting web and social graphs. Internet Math., 6(3): , [9] Paolo Boldi, Massimo Santini e Sebastiano Vigna. PageRank: Functional dependencies. ACM Trans. Inf. Sys., 27(4):1 23, [10] Paolo Boldi, Flavio Chierichetti e Sebastiano Vigna. Pictures from mongolia. Extracting the top elements from a partially ordered set. Theory Comput. Systems, 44(2): , [11] Paolo Boldi, Violetta Lonati, Massimo Santini e Sebastiano Vigna. Graph fibrations, graph isomorphism, and PageRank. RAIRO Inform. Théor., 40: , [12] Paolo Boldi, Massimo Santini e Sebastiano Vigna. Paradoxical effects in PageRank incremental computations. Internet Math., 2(3): , [13] Paolo Boldi e Sebastiano Vigna. Codes for the World Wide Web. Internet Math., 2(4): ,

5 [14] Paolo Boldi e Sebastiano Vigna. Mutable strings in Java: Design, implementation and lightweight text-search algorithms. Sci. Comput. Programming, 54(1):3 23, [15] Paolo Boldi, Bruno Codenotti, Massimo Santini e Sebastiano Vigna. UbiCrawler: A scalable fully distributed web crawler. Software: Practice & Experience, 34(8): , [16] Paolo Boldi e Sebastiano Vigna. Lower bounds for weak sense of direction. J. Discrete Algorithms, 1: , [17] Paolo Boldi e Sebastiano Vigna. Lower bounds for sense of direction in regular graphs. Distr. Comput., 16(4): , [18] Paolo Boldi, Massimo Santini e Sebastiano Vigna. Measuring with jugs. Theoretical Computer Science, 282(2): , [19] Paolo Boldi e Sebastiano Vigna. Fibrations of graphs. Discrete Math., 243:21 66, [20] Joan S. Birman, Marta Rampichini, Paolo Boldi e Sebastiano Vigna. Towards an implementation of the B H algorithm for recognizing the unknot. Journal of Knot Theory and Its Ramifications, 11(04): , [21] Paolo Boldi e Sebastiano Vigna. Universal dynamic synchronous selfstabilization. Distr. Comput., 15(3): , [22] Paolo Boldi e Sebastiano Vigna. Complexity of deciding sense of direction. SIAM J. Comput., 29(3): , [23] Paolo Boldi e Sebastiano Vigna. The Turing closure of an Archimedean field. Theoretical Computer Science, 231: , [24] Paolo Boldi e Sebastiano Vigna. Equality is a jump. Theoretical Computer Science, 219(1 2):49 64, [25] Paolo Boldi e Sebastiano Vigna. δ-uniform BSS machines. J. Complexity, 14(2): , [26] Bruno Codenotti, Ivan Gerace e Sebastiano Vigna. Hardness results and spectral techniques for combinatorial problems on circulant graphs. Linear Algebra Appl., 285(1 3): , [27] Paolo Boldi e Sebastiano Vigna. Minimal sense of direction and decision problems for Cayley graphs. Inform. Process. Lett., 64(6): , [28] Sebastiano Vigna. On the relations between distributive computability and the BSS model. Theoretical Computer Science, 162:5 21, [29] Stefano Kasangian e Sebastiano Vigna. The topos of labelled trees: A categorical semantics for SCCS. Fund. Inform., 32:27 45,

6 [30] Nicoletta Sabadini, Sebastiano Vigna e Robert F.C. Walters. A note on recursive functions. Math. Struct. Comp. Sci., 6: , Convegni internazionali [31] Sebastiano Vigna. A weighted correlation index for rankings with ties. In Proceedings of the 24th international conference on World Wide Web. ACM, [32] Robert Meusel, Sebastiano Vigna, Oliver Lehmberg e Christian Bizer. Graph structure in the web Revisited, or a trick of the heavy tail. In WWW 14 Companion, pag International World Wide Web Conferences Steering Committee, [33] Djamal Belazzougui, Paolo Boldi, Giuseppe Ottaviano, Rossano Venturini e Sebastiano Vigna. Cache-oblivious peeling of random hypergraphs. In 2014 Data Compression Conference (DCC 2014), pag IEEE, [34] Paolo Boldi e Sebastiano Vigna. In-core computation of geometric centralities with HyperBall: A hundred billion nodes and beyond. In Proc. of 2013 IEEE 13th International Conference on Data Mining Workshops (ICDMW 2013). IEEE, [35] Sebastiano Vigna. Quasi-succinct indices. In Proceedings of the 6th ACM International Conference on Web Search and Data Mining, WSDM 13, a cura di Stefano Leonardi, Alessandro Panconesi, Paolo Ferragina e Aristides Gionis, pag ACM, [36] Lars Backstrom, Paolo Boldi, Marco Rosa, Johan Ugander e Sebastiano Vigna. Four degrees of separation. In ACM Web Science 2012: Conference Proceedings, pag ACM Press, Best paper award. [37] Paolo Boldi e Sebastiano Vigna. Four degrees of separation, really. In Proceedings of the 2012 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012), pag IEEE Computer Society, [38] Paolo Boldi, Marco Rosa, Massimo Santini e Sebastiano Vigna. Layered label propagation: A multiresolution coordinate-free ordering for compressing social networks. In Proceedings of the 20th international conference on World Wide Web, a cura di Sadagopan Srinivasan, Krithi Ramamritham, Arun Kumar, M. P. Ravindra, Elisa Bertino e Ravi Kumar, pag ACM, [39] Paolo Boldi, Marco Rosa e Sebastiano Vigna. HyperANF: Approximating the neighbourhood function of very large graphs on a budget. In Proceedings of the 20th international conference on World Wide Web, a cura di Sadagopan Srinivasan, Krithi Ramamritham, Arun Kumar, M. P. Ravindra, Elisa Bertino e Ravi Kumar, pag ACM,

7 [40] Roi Blanco, Peter Mika e Sebastiano Vigna. Effective and efficient entity search in RDF data. In The Semantic Web ISWC th International Semantic Web Conference, Proceedings, Part I, a cura di Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy e Eva Blomqvist, volume 7031 della collana Lecture Notes in Computer Science, pag Springer, [41] Djamal Belazzougui, Paolo Boldi, Rasmus Pagh e Sebastiano Vigna. Fast prefix search in little space, with applications. In Algorithms - ESA 2010, 18th Annual European Symposium, Liverpool, UK, September 6-8, Proceedings, Part I, a cura di Mark de Berg e Ulrich Meyer, volume 6346 della collana Lecture Notes in Computer Science, pag Springer, [42] Djamal Belazzougui, Paolo Boldi e Sebastiano Vigna. Dynamic z-fast tries. In String Processing and Information Retrieval - 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, Proceedings, a cura di Edgar Chávez e Stefano Lonardi, volume 6393 della collana Lecture Notes in Computer Science, pag Springer, [43] Paolo Boldi, Francesco Bonchi, Carlos Castillo e Sebastiano Vigna. From dango to japanese cakes : Query reformulation models and patterns. In Proc. of the 2009 IEEE/WIC/ACM International Conferences on Web Intelligence (WI 09). ACM Press, Winner of the best paper award. [44] Djamal Belazzougui, Paolo Boldi, Rasmus Pagh e Sebastiano Vigna. Monotone minimal perfect hashing: Searching a sorted table with O(1) accesses. In Proceedings of the 20th Annual ACM-SIAM Symposium On Discrete Mathematics (SODA), pag , New York, ACM Press. [45] Paolo Boldi, Francesco Bonchi, Carlos Castillo e Sebastiano Vigna. Voting in social networks. In Proc. of ACM 18th Conference on Information and Knowledge Management (CIKM), Napa Valley, CA, USA, ACM Press. [46] Paolo Boldi, Francesco Bonchi, Carlos Castillo, Debora Donato e Sebastiano Vigna. Query suggestions using query-flow graphs. In Proceedings of the 2009 workshop on Web Search Click Data, WSCD 09, pag ACM, [47] Sebastiano Vigna. Broadword implementation of rank/select queries. In Experimental Algorithms. 7th International Workshop, WEA 2008, a cura di Catherine C. McGeoch, numero 5038 della collana Lecture Notes in Computer Science, pag Springer Verlag, [48] Paolo Boldi, Francesco Bonchi, Carlos Castillo, Debora Donato, Aristides Gionis e Sebastiano Vigna. The query-flow graph: model and applications. In Proc. of ACM 17th Conference on Information and Knowledge Management (CIKM), pag , Napa Valley, CA, USA, ACM Press. [49] Ilaria Bordino, Paolo Boldi, Debora Donato, Massimo Santini e Sebastiano Vigna. Temporal evolution of the UK web. In ICDM Workshops, pag IEEE Computer Society,

8 [50] Paolo Boldi, Roberto Posenato, Massimo Santini e Sebastiano Vigna. Traps and pitfalls of topic-biased PageRank. In WAW Fourth Workshop on Algorithms and Models for the Web-Graph, a cura di William Aiello, Andrei Broder, Jeannette Janssen e Evangelos Milios, volume 4936 della collana Lecture Notes in Computer Science, pag Springer Verlag, [51] Paolo Boldi e Sebastiano Vigna. Efficient lazy algorithms for minimal-interval semantics. In Proc. SPIRE 2006, a cura di Fabio Crestani, Paolo Ferragina e Mark Sanderson, numero 4209 della collana Lecture Notes in Computer Science, pag Springer Verlag, [52] Paolo Boldi e Sebastiano Vigna. Compressed perfect embedded skip lists for quick inverted-index lookups. In Proc. SPIRE 2005, volume 3772 della collana Lecture Notes in Computer Science, pag Springer Verlag, [53] Paolo Boldi e Sebastiano Vigna. The WebGraph framework I: Compression techniques. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), pag , Manhattan, USA, ACM Press. [54] Sebastiano Vigna. Reachability problems in entity-relationship schema instances. In Conceptual Modeling ER rd International Conference on Conceptual Modeling, numero 3288 della collana Lecture Notes in Computer Science, pag Springer Verlag, [55] Sebastiano Vigna. Automatic generation of content management systems from EER-based specifications. In 18th IEEE International Conference on Automated Software Engineering, pag , Montréal, Québec, Canada, IEEE Press. Short paper. [56] Paolo Boldi e Sebastiano Vigna. Holographic trees. In LATIN 2002, numero 2286 della collana Lecture Notes in Computer Science, pag , Cancún, México, Springer Verlag. [57] Sebastiano Vigna. Multirelational semantics for extended entity-relationship schemata with applications. In Conceptual Modeling ER st International Conference on Conceptual Modeling, numero 2503 della collana Lecture Notes in Computer Science, pag Springer Verlag, [58] Charles Meyssonnier, Paolo Boldi e Sebastiano Vigna. δ-approximable functions. In Proc. CCA 2000 (Computability and Complexity in Analysis), numero 2064 della collana Lecture Notes in Computer Science, pag , Swansea, Wales, UK, Springer Verlag. [59] Paolo Boldi e Sebastiano Vigna. An effective characterization of computability in anonymous networks. In Distributed Computing. 15th International Conference, DISC 2001, a cura di Jennifer L. Welch, numero 2180 della collana Lecture Notes in Computer Science, pag Springer Verlag,

9 [60] Paolo Boldi e Sebastiano Vigna. Computing anonymously with arbitrary knowledge. In Proc. 18th ACM Symposium on Principles of Distributed Computing, pag ACM Press, [61] Paolo Boldi, Bruno Codenotti, Peter Gemmell, Shella Shammah, Janos Simon e Sebastiano Vigna. Symmetry breaking in anonymous networks: Characterizations. In Proc. 4th Israeli Symposium on Theory of Computing and Systems, pag IEEE Press, [62] Stefano Kasangian e Sebastiano Vigna. Trees in a distributive category. In Proceedings of the Category Theory 90 Conference in Como, numero 1488 della collana Lecture Notes in Mathematics, pag Springer Verlag, Poster [63] Paolo Boldi, Andrea Marino, Massimo Santini e Sebastiano Vigna. BUbiNG: Massive crawling for the masses. In Proceedings of the Companion Publication of the 23rd International Conference on World Wide Web Companion, WWW Companion 14, pag International World Wide Web Conferences Steering Committee, [64] Sebastiano Vigna. TruRank: Taking PageRank to the limit. In Fourteenth International World Wide Web Conference (WWW 2005), Special Interest Tracks & Posters, pag , Chiba, Japan, ACM Press. [65] Yoshiki Mikami, Pavol Zavarsky, Mohd Zaidi Abd Rozan, Izumi Suzuki, Masayuki Takahashi, Tomohide Maki, Irwan Nizan Ayob, Paolo Boldi, Massimo Santini e Sebastiano Vigna. The language observatory project (LOP). In Fourteenth International World Wide Web Conference (WWW 2005), Special Interest Tracks & Posters, pag , Chiba, Japan, ACM Press. 9