Martedì dalle 10.30 alle 12.30
Da Febbraio 2019, Ricercatore a Tempo Determinato B (RTD-B) presso il Dipartimento di Statistica, Informatica e Applicazioni, Università di Firenze.
Esperienza
Istruzione
Riconoscimenti
Miglior tesi di dottorato italiana del 2013 su “Algorithms, Automata, Complexity and Game Theory” conferita da Capitolo Italiano dell’EATCS (European Association for Theoretical Computer Science).
Ricerca su algoritmi su grafi con applicazioni nel campo dell’analisi di grafi reali, enumerazione, web crawling, bioinformatica, information retrieval, mobile ad hoc networks e linguistica computazionale. Libri, articoli su conferenze e giornali sui profili Google Scholar e DBLP.
Big Data Gathering
Co-sviluppatore di BUbiNG; BUbiNG è il web crawler open source attualmente con le prestazioni migliori (scarica, memorizza e gestisce miliardi di pagine web), sviluppato presso il LAW (Laboratory of Web Algorithmic) dell’Universita` di Milano [TWEB 2018].
Big Graph Analysis
Autore di algoritmi stato dell'arte nell'ambito di community detection attraverso l'uso di cricche e loro rilassamenti [KDD 2018a].Autore di stimatori di similarità tra nodi [KDD 2018b] e di stimatori per la distribuzione delle distanze [TAPAS 2011] in grafi di grandi dimensioni.Autore degli algoritmi stato dell'arte per il calcolo di: diametro, iperbolicità e nodi più centrali (closeness centrality) in grafi reali di grandi dimensioni. Tali algoritmi sono stati inclusi in note librerie (NetworKit, SageMath, Webgraph). L’algoritmo del diametro in [TCS 2013] è stato usato per calcolare il diametro del grafo di Facebook (1.2 miliardi di nodi) da Backstrom, Boldi, Rosa, Ugander e Vigna in Four degrees of separation (WebSci 2012, lavoro reso celebre da The New York Times, (325):B1, 21 Novembre 2011).
Enumerazione in Grafi
Autore di un libro (pubblicato da Atlantis Press, 2015) e altre pubblicazione in questo campo. Co-autore di algoritmi stato dell'arte per problemi di base:
Bioinformatica
Collaboratore del team BAMBOO e BAOBAB di Marie-France Sagot (Université Claude Bernard, Lyon 1 e INRIA, France) e membro della partnership internazionale ERABLE. Ricerca su reti metaboliche e NGS (Next Generation Sequence).
Legenda
Born on June 1985. PhD in Computer Science at University of Florence, advised by Pierluigi Crescenzi. Assistant Professor (in Italian, RTD-B) at Dipartimento di Statistica, Informatica e Applicazioni of University of Florence. Previously, Assistant Professor (in Italian, RTD-A) at University of Pisa, working with the group of Roberto Grossi. Past member as Post-doc of the Laboratory of Web Algorithmics of University of Milan. Interested in Algorithms and Complexity, Complex Networks analysis, Bioinformatics, and Enumeration Algorithms.
Past Positions
Training
Author of a book, conference papers, and journal papers on graph algorithms with applications to enumeration, web crawling, bioinformatics, real-world graph analysis, information retrieval, mobile ad hoc networks, and computational linguistic.
Checkout the Scholar Profile or the DBLP page
Enumeration Algorithms
Author of a book (published by Atlantis Press, 2015) and other publications in this field. Providing state of the art solutions for basic problems:– listing all the paths and cycles in a graph [SODA 2013], improving Johnson Algorithm (1975);– listing all the cliques [ICALP 2016], and all maximal independent sets in a graph [SPIRE 2017];– listing all common connected subgraphs between two graphs [COCOON 2018];– listing possible orientations of undirected graphs [LATIN 2016, IWOCA 2016, DAM 2017];– listing set of disjoint paths in a graph [LATIN 2018];– listing minimum weighted spanning trees [MFCS 2018].
Web Crawling
One of the BUbiNG developers [TWEB 2018]; BUbiNG is the publicly available web crawler currently with the highest performances (downloading, storing, and managing billions of web pages), developed at LAW (Laboratory of Web Algorithmic), University of Milan.
Algorithms for Real-World Graph Analysis
Co-author of the current best algorithms to compute: diameter [TCS 2015], hyperbolicity [ESA 2015], and top-central nodes (closeness centrality) in huge graphs [ALENEX 2016]. The diameter algorithm in [TCS 2013] has been used to compute the diameter of Facebook networks (1.2 billions of nodes) by Backstrom, Boldi, Rosa, Ugander, and Vigna in Four degrees of separation (WebSci 2012) (reported by The New York Times, (325):B1, 21 November 2011). Co-author of state of the art algorithms for community detection using cliques and their variations [KDD 2018a], and for computing similarity between nodes [KDD 2019b] based on labeled paths.
Bioinformatic
Collaborator of INRIA (Institut National de Recherche en Informatique et en Automatique) BAMBOO & BAOBAB Team, Université Claude Bernard (Lyon 1, France), headed by Marie-France Sagot, working on metabolic networks and NGS (New Generation Sequence), designing ad hoc enumeration algorithms.
