Sede ufficiale: LARGO BRUNO PONTECORVO, 3, 56127 PISA
Email: filippo.bonchi@unipi.it
Telefono: 0502212111
Profilo
Didattica
Attività didattica
Incarichi di responsabilità didattica di moduli/insegnamenti
- Fondamenti dell'informatica - corso b (cod. 728AA) per Laurea in Informatica
- Foundation of computing (cod. 648AA) per Laurea Magistrale in Informatica
Ricevimento
Modalità: Gli studenti sono pregati di inviare una mail al professore per fissare l'appuntamento.
Luogo: Teams: 728AA 20/21 - FONDAMENTI DELL'INFORMATICA - B [INF-L]
Orario: Mercoledì alle 10h30
Ricerca
Pubblicazioni
- When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines (Bonchi, Filippo; DI GIORGIO, Alessandro; Trotta, Davide - 2024 - 4.1 Contributo in Atti di convegno)
- Diagrammatic Algebra of First Order Logic (Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan; Sobocinski, Pawel - 2024 - 4.1 Contributo in Atti di convegno)
- Up-to techniques for behavioural metrics via fibrations (Bonchi, Filippo; König, Barbara; Petrisan, Daniela - 2023 - 1.1 Articolo in rivista)
- Deconstructing the Calculus of Relations with Tape Diagrams (Bonchi, F; Di Giorgio, A; Santamaria, A - 2023 - 4.1 Contributo in Atti di convegno)
- Exploiting Adjoints in Property Directed Reachability Analysis (Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I. - 2023 - 4.1 Contributo in Atti di convegno)
- Convexity via Weak Distributive Laws (Bonchi, Filippo; Santamaria, Alessio - 2022 - 1.1 Articolo in rivista)
- The Theory of Traces for Systems with Nondeterminism, Probability, and Termination (Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria - 2022 - 1.1 Articolo in rivista)
- String diagram rewrite theory III: Confluence with and without Frobenius (Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F - 2022 - 1.1 Articolo in rivista)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F - 2022 - 1.1 Articolo in rivista)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio - 2022 - 1.1 Articolo in rivista)