Location: LARGO BRUNO PONTECORVO, 3, 56127 PISA
Email: fabio.gadducci@unipi.it
Phone: 050 221 2716
Website: pages.di.unipi.it/gadducci/
Profile
Teaching
Teaching activity
Teaching responsibility for modules/courses
- Software validation and verification (cod. 660AA) per Laurea Magistrale in Informatica
Incarichi di co-docenza in moduli/insegnamenti
- Formal and Hybrid Methods For Medical Imaging (Cod. 0013A) per Laurea Magistrale in Informatics for digital health
Student consultation hours
Mode of office hours: Send anyhow a mail for confirming the meeting, or for requesting a different time
Location: Department of Computer Science
Time: Thursday, 14-16
Research
Publications
- 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)
- From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness (Fritz, Tobias; Gadducci, Fabio; Trotta, Davide; Corradini, Andrea - 2023 - 1.1 Articolo in rivista)