THESES 2019

THeses presentation Event for StudEntS


Sala "G. Gerace" - Dept. of Computer Science, University of Pisa

5th of December, 2019 - 15:30


About

The video of the whole event is finally available!

THESES, or 'THeses presentation Event for StudEntS' is a new event that brings together (young) researchers from the Department of Computer Science of University of Pisa and Master’s students. The main goal is to make the students aware of the research that happens inside the department and to give them the opportunity to get in touch with people that can guide them through a research-focused Master's thesis and, maybe, towards a PhD in Computer Science.

The event is structured in two sessions covering: Computational Biology, Data Science, Machine Learning, Optimization, Formal methods, Networking and High Performance Computing. During these sessions, each researcher has six minutes to present themselves, their group and their research.

What are you waiting for? Join us on the 5th of December 2019, starting at 15:30!

Schedule

Time Slot Description
15:30 Paolo Ferragina Coordinator of the PhD Program in Computer Science [e-mail]

Giuseppe Prencipe President of the degrees in Computer Science [e-mail]
Welcome message and openings
Session: Computational Biology, Data Science, Machine Learning & Optimization
15:35 Nadia Pisanti Dept. of CS - University of Pisa [e-mail]
Computational Pan-Genomics with elastic degenerate strings
[slides]
15:43 Paolo Milazzo Dept. CS - University of Pisa [homepage] [e-mail]
Computational analysis of biological networks
[slides]
15:51 Alina Sîrbu Assistant Professor, SPARK Pisa, KDD - University of Pisa [homepage] [e-mail]
Research in Computational Health
[slides]
15:59 Marco Pellegrini Senior Researcher CNR - Algorithms and Computational Mathematics- CNR [group page] [e-mail]
Bioinformatic Research at IIT: the Highlights
[slides]
16:07 Vincenzo Ciancia Researcher, Formal Methods and Tools Lab, ISTI-CNR [group page] [homepage] [e-mail]
Declarative analysis of spatial structures and medical images
[slides]
16:15 Riccardo Guidotti Researcher, KDDLab, University of Pisa and ISTI-CNR [homepage] [e-mail]
XAI - Science and Technology for the Explanation of AI Decision Making
[slides]
16:23 Luca Pappalardo ISTI - CNR [e-mail]

Giuseppe Prencipe Associate Professor, Dept. of CS, University of Pisa [group page] [e-mail]
Sports Analytics
[slides]
16:31 Roberto Trani Research fellow at HPC Laboratory, ISTI-CNR [e-mail]
Efficiency-Effectiveness Trade-Offs in Modern Web Search
[slides]
16:39 Laura Galli RTD-B, Operations Research Group, Dept. of CS, University of Pisa [homepage] [e-mail]

Maria Grazia Scutellà Full Professor, Operations Research Group, Dept. of CS, University of Pisa [homepage] [e-mail]
Optimizing Communication Networks
[slides]
16:47 Giorgio Vinciguerra PhD student, A³ Lab, Dept. of CS, University of Pisa [group page] [homepage] [e-mail]
Learned data structures and their applications to DBs
[slides]
16:55 Giuseppe Attardi Full Professor, Dept. of CS, University of Pisa [homepage] [e-mail]

Davide Bacciu Assistant Professor, Dept. of CS, University of Pisa [homepage] [e-mail]
Learning to reason
[slides]
17:03 Gabriele Iommazzo PhD, LIX CNRS, Ecole Polytechnique, Institut Polytechnique de Paris, France & Dip.di Informatica, Università di Pisa, Italy [e-mail]
Algorithmic configuration by learning and optimization
[slides]
17:09 Coffee break! -
Session: Formal methods, Networking & High Performance Computing
17:34 Lorenzo Ceragioli PhD Student, SPUMA group, Dept. of CS, University of Pisa [group page] [homepage] [e-mail]
Formal methods for security
[slides]
17:42 Filippo Bonchi Associate Professor, Dept. of CS, University of Pisa [e-mail]
Foundations of Network Diagrams: Dynamical Systems, Bayesian Networks and Quantum Processes
[slides]
17:50 Daniele de Sensi PostDoc Researcher, Parallel Programming Models group, Dept. of CS, University of Pisa [homepage] [e-mail]
Green Computing: Managing Power Consumption in Parallel Applications
[slides]
17:58 Stefano Chessa Associate Professor, Dept. of CS, University of Pisa [homepage] [e-mail]
Internet of Things
[slides]
18:06 Andrea Passarella Research Director, Ubiquitous Internet, IIT-CNR [group page] [e-mail]
Ubiquitous Internet @ IIT-CNR: Towards a human-centric Internet
[slides]
18:14 Antonio Brogi Full professor, SOCC group, Dept. of CS [e-mail]

Stefano Forti Ph.D. student, SOCC group, Dept. of CS [e-mail]

Jacopo Soldani Researcher, SOCC group, Dept. of CS [e-mail]

Federica Paganelli Researcher, SOCC group, Dept. of CS [e-mail]
From IoT to Cloud via Fog and SDN
[slides]
18:22 Ilaria Matteucci Researcher, TSFI of IIT-CNR [homepage] [e-mail]
Trust and security in the future internet
[slides]
18:30 Barbara Guidi Researcher, Dept. of CS, University of Pisa [homepage] [e-mail]

Laura Ricci Associate Professor, Dept. of CS, University of Pisa [homepage] [e-mail]
Blockchain and social networks: tecnologies, analyses and applications
[slides]
18:38 Marco Manca Researcher, HIIS Laboratory, ISTI-CNR [group page] [e-mail]
Platforms for End User Development of Internet of Things and Humanoid Robot Applications
[slides]
18:46 Patrizio Dazzi Researcher, HPCLab, ISTI-CNR [homepage] [e-mail]
Pervasive and Edge Computing Platforms for Next-Generation Applications
[slides]
18:54 Stefano Cresci Researcher, WAFI Lab, IIT-CNR [homepage] [e-mail]
Disinformation and Social Bots in Online Social Networks
[slides]
19:00 Final buffet -