Sede ufficiale: LARGO BRUNO PONTECORVO, 3, 56127 PISA
Email: fabio.gadducci@unipi.it
Telefono: 050 221 2716
Sito web: pages.di.unipi.it/gadducci/
Profilo
Didattica
Attività didattica
Incarichi di responsabilità didattica di moduli/insegnamenti
- Linguaggi di programmazione con laboratorio (cod. 063AA) per Laurea in Matematica
Insegnamenti condivisi/mutuati:- Linguaggi di programmazione con laboratorio (cod. 063AA) - Laurea Magistrale in Matematica
- Software verification: principles and techniques (cod. 0081A) per Laurea Magistrale in Informatica
Incarichi di co-docenza in moduli/insegnamenti
- Laboratorio I - Corso B (Cod. 731AA) per Laurea in Informatica
Ricevimento
Modalità: Onine and in presence. Send anyhow a mail for confirming the meeting, or for requesting a different time
Luogo: Department of Computer Science
Orario: Thursday, 16-18
Ricerca
Pubblicazioni
- Testing the Quantum Anonymous Transmission Protocol (Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele - 2026 - 1.1 Articolo in rivista)
- A taxonomy of categories for relations (Cioffo, Cipriano Junior; Gadducci, Fabio; Trotta, Davide - 2026 - 1.1 Articolo in rivista)
- Verification of Quantum Protocols Adopting Physically Admissible Schedulers (Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele - 2026 - 1.1 Articolo in rivista)
- Counterpart-based Quantified Temporal Logics (Gadducci, F.; Laretto, A.; Trotta, D. - 2026 - 1.1 Articolo in rivista)
- A Constraint Opinion Model (Gadducci, Fabio; Olarte, Carlos; Valencia, Frank - 2025 - 4.1 Contributo in Atti di convegno)
- EGGs Are Adhesive! (Biondo, R.; Castelnovo, D.; Gadducci, F. - 2025 - 4.1 Contributo in Atti di convegno)
- Testing Quantum Processes (Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G. - 2024 - 4.1 Contributo in Atti di convegno)
- Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers (Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele - 2024 - 4.1 Contributo in Atti di convegno)
- Effect Semantics for Quantum Process Calculi (Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele - 2024 - 4.1 Contributo in Atti di convegno)
- Left-Linear Rewriting in Adhesive Categories (Baldan, Paolo; Castelnovo, Davide; Corradini, Andrea; Gadducci, Fabio - 2024 - 4.1 Contributo in Atti di convegno)
- A simple criterion for M,N-adhesivity (Castelnovo, Davide; Gadducci, Fabio; Miculan, Marino - 2024 - 1.1 Articolo in rivista)
- A Spatial Logic with Time and Quantifiers (Bussi, Laura; Ciancia, Vincenzo; Gadducci, Fabio - 2024 - 4.1 Contributo in Atti di convegno)
- Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers (Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G. - 2024 - 4.1 Contributo in Atti di convegno)
- A Presheaf Semantics for Quantified Temporal Logics (Gadducci, Fabio; Trotta, Davide - 2023 - 4.1 Contributo in Atti di convegno)
- Specification and modelling of computing systems through graphs and graph transformation (Gadducci, F; Kehrer, T - 2023 - 7.1 Curatela)