Fabio Gadducci

Ente: Quantum
Data intervento: 20 maggio

Biografia

Fabio Gadducci è professore ordinario presso il Dipartimento di Informatica dell’Università di Pisa. Ricopre il ruolo di presidente del GRIN, associazione che riunisce docenti e ricercatori del settore nell’area 01, ed è vice-presidente del CINI, consorzio universitario nazionale che promuove la ricerca in informatica. La sua attività di ricerca si concentra sui metodi formali per la specifica e la verifica del software, con particolare attenzione a modelli matematici rigorosi per l’analisi di sistemi distribuiti e concorrenti. È stato direttore del Museo degli Strumenti per il Calcolo, contribuendo allo sviluppo e alla valorizzazione della storia dell’informatica e promuovendo iniziative di divulgazione scientifica rivolte a un pubblico ampio e interdisciplinare.

Abstract

Quantum computing e Quantum Internet

Uno sguardo alle nuove frontiere delle tecnologie quantistiche: opportunità scientifiche, scenari applicativi, sfide tecnologiche e possibili ricadute future sulle infrastrutture di ricerca e comunicazione.

Presentazioni

DOCUMENTO

Video

VIDEO uk-video uk-responsive

Bio

Fabio Gadducci is a full professor at the Department of Computer Science at the University of Pisa. He serves as president of GRIN, an association of professors and researchers in the field of computer science (Area 01), and is vice president of CINI, a national university consortium that promotes computer science research. His research focuses on formal methods for software specification and verification, with a particular focus on rigorous mathematical models for the analysis of distributed and concurrent systems. He was director of the Museum of Computing Tools, contributing to the development and promotion of the history of computer science and promoting scientific dissemination initiatives aimed at a broad and interdisciplinary audience.

Abstract

Quantum computing and the Quantum Internet

An overview of the new frontiers in quantum technologies: scientific opportunities, application scenarios, technological challenges, and potential future impacts on research and communication infrastructures.