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 | - |