{"id":142469,"date":"2025-05-12T13:47:56","date_gmt":"2025-05-12T13:47:56","guid":{"rendered":"https:\/\/www.unipi.it\/ateneo\/organizzazione\/persone\/filippo-bonchi-123768-en\/"},"modified":"2026-04-01T04:33:47","modified_gmt":"2026-04-01T02:33:47","slug":"filippo-bonchi-123768-en","status":"publish","type":"unipi_persone","link":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/","title":{"rendered":"Filippo Bonchi"},"content":{"rendered":"<p>Professore Associato &#8211; Dipartimento di Informatica | Tel.: 0502212111 &#8211; Email: filippo.bonchi@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"123768","unipi-persone-nome":"Filippo","unipi-persone-cognome":"Bonchi","unipi-persone-email":"filippo.bonchi@unipi.it","unipi-persone-cv":"Dopo aver conseguito il Dottorato di Ricerca (Pisa, 2008), Filippo Bonchi \u00e9 stato un post-doc ERCIM presso il CWI (Amsterdam) e l'\u00c9cole polytechnique (Parigi). Dal 2010 al 2017, ha lavorato presso l'\u00c9cole Normale Sup\u00e9rieure (Lione) come ricercatore CNRS. Nel Settembre 2017, \u00e9 rientrato a Pisa come Professore Associato.<br \/>\r\nI suoi interessi di ricerca stanno nell'intersezione di Logica, Algebra e Informatica Teorica, in particolare coinduzione, coalgebra, diagrammi di stringhe e, pi\u00f9 in generale, Teoria delle Categorie. I suoi contributi scientifici riguardano svariati argomenti, tra cui la teoria degli automi, i linguaggi di programmazione, l'Interpretazione astratta, gli algoritmi per model checking, le basi di dati e l'algebra relazionale e, pi\u00f9 di recente, lo studio composizionale di sistemi dinamici (tipo Signal Flow Graphs, Petri nets, circuiti elettrici passivi e non).<br \/>\r\n<br \/>\r\nServe tipicamente come membro del comitato di esperti in conferenze di prima classe dell'Informatica Teorica ed \u00e8 stato chair della conferenza su Algebra e Coalgebra in Informatica. Il suo articolo \"Hacking Non-Determinism with Induction and Coinduction\" \u00e9 apparso come cover story su Communication of the ACM.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"\r\nGli studenti sono pregati di inviare una mail al professore per fissare l'appuntamento.\r\n","unipi-persone-luogo-ricevimento":"Teams: 728AA 20\/21 - FONDAMENTI DELL'INFORMATICA - B [INF-L]\r\n\r\n\r\n","unipi-persone-ore-ricevimento":"\r\nMercoled\u00ec alle 10h30\r\n","unipi-persone-telefono":"0502212111","unipi-persone-sitoweb":"","unipi-persone-cariche":"","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=035614","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=035614&tmplt=principale.tpl","unipi-persone-settore-scientifico":"Informatica INFO-01\/A","unipi-persone-ruolo":"Professore Associato","unipi-persone-arpi":"https:\/\/arpi.unipi.it\/cris\/rp\/rp57802","unipi-persone-pubblicazioni":"<ul class=\"pubblicazioni-list\"><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1328567\" target=\"_blank\" rel=\"noopener noreferrer\">Mathematical Foundation of\u00a0Interpretable Equivariant Surrogate Models<\/a> <span class=\"pub-details\">(Colombini, Jacopo Joy; Bonchi, Filippo; Giannini, Francesco; Giannotti, Fosca; Pellungrini, Roberto; Frosini, Patrizio - 2026 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1309167\" target=\"_blank\" rel=\"noopener noreferrer\">Algorithmic Drift: A simulation framework to study the effects of recommender systems on user preferences<\/a> <span class=\"pub-details\">(Coppolillo, E.; Mungari, S.; Ritacco, E.; Fabbri, F.; Minici, M.; Bonchi, F.; Manco, G. - 2025 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1272608\" target=\"_blank\" rel=\"noopener noreferrer\">When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines<\/a> <span class=\"pub-details\">(Bonchi, Filippo; DI GIORGIO, Alessandro; Trotta, Davide - 2024 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1272607\" target=\"_blank\" rel=\"noopener noreferrer\">Diagrammatic Algebra of First Order Logic<\/a> <span class=\"pub-details\">(Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan; Sobocinski, Pawel - 2024 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1272601\" target=\"_blank\" rel=\"noopener noreferrer\">Up-to techniques for behavioural metrics via fibrations<\/a> <span class=\"pub-details\">(Bonchi, Filippo; K\u00f6nig, Barbara; Petrisan, Daniela - 2023 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1204192\" target=\"_blank\" rel=\"noopener noreferrer\">Deconstructing the Calculus of Relations with Tape Diagrams<\/a> <span class=\"pub-details\">(Bonchi, F; Di Giorgio, A; Santamaria, A - 2023 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1204004\" target=\"_blank\" rel=\"noopener noreferrer\">Exploiting Adjoints in Property Directed Reachability Analysis<\/a> <span class=\"pub-details\">(Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I. - 2023 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1204195\" target=\"_blank\" rel=\"noopener noreferrer\">Convexity via Weak Distributive Laws<\/a> <span class=\"pub-details\">(Bonchi, Filippo; Santamaria, Alessio - 2022 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1204193\" target=\"_blank\" rel=\"noopener noreferrer\">The Theory of Traces for Systems with Nondeterminism, Probability, and Termination<\/a> <span class=\"pub-details\">(Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria - 2022 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1199448\" target=\"_blank\" rel=\"noopener noreferrer\">String diagram rewrite theory III: Confluence with and without Frobenius<\/a> <span class=\"pub-details\">(Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F - 2022 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1199447\" target=\"_blank\" rel=\"noopener noreferrer\">String diagram rewrite theory II: Rewriting with symmetric monoidal structure<\/a> <span class=\"pub-details\">(Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F - 2022 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1132720\" target=\"_blank\" rel=\"noopener noreferrer\">String Diagram Rewrite Theory I: Rewriting with Frobenius Structure<\/a> <span class=\"pub-details\">(Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio - 2022 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1141080\" target=\"_blank\" rel=\"noopener noreferrer\">46th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia<\/a> <span class=\"pub-details\">(Bonchi, Filippo - 2021 - 7.1 Curatela)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1141064\" target=\"_blank\" rel=\"noopener noreferrer\">A Survey of Compositional Signal Flow Theory<\/a> <span class=\"pub-details\">(Bonchi, F.; Sobocinski, P.; Zanasi, F. - 2021 - 3.1 Monografia o trattato scientifico)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1141062\" target=\"_blank\" rel=\"noopener noreferrer\">Diagrammatic Polyhedral Algebra<\/a> <span class=\"pub-details\">(Bonchi, F.; Di Giorgio, A.; Sobocinski, P. - 2021 - 4.1 Contributo in Atti di convegno)<\/span><\/li><\/ul>","unipi-persone-didattica":"<ul class=\"registri-list\"><li>Fondamenti dell'informatica - corso b (cod. 728AA) per Laurea in Informatica<\/li><\/ul>","unipi-persone-codocenze":"<h4 class=\"mt-2\">Incarichi di co-docenza in moduli\/insegnamenti<\/h4><ul><li>Programmazione e Algoritmica - Corso C (Cod. 735AA) per Laurea in Informatica<\/li><li>Models For Programming Paradigms (Cod. 0077A) per Laurea Magistrale in Informatica<\/li><\/ul>","unipi-persone-interessi-ricerca":"","_wpml_word_count":"14","_last_translation_edit_mode":"translation-editor","unipi-persone-dati-posizione":"","_elementor_page_assets":[]},"organizzazioni":[3668],"class_list":["post-142469","unipi_persone","type-unipi_persone","status-publish","hentry","organizzazioni-dipartimento-di-informatica-489999-en"],"email":"filippo.bonchi@unipi.it","telefono":"0502212111","content_plain":"Professore Associato &#8211; Dipartimento di Informatica | Tel.: 0502212111 &#8211; Email: filippo.bonchi@unipi.it","photo_url":null,"ruoli_tags":[{"id":759,"name":"PA","slug":"pa"}],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.0 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Filippo Bonchi ~ UNIPI<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Filippo Bonchi ~ UNIPI\" \/>\n<meta property=\"og:description\" content=\"Professore Associato &#8211; Dipartimento di Informatica | Tel.: 0502212111 &#8211; Email: filippo.bonchi@unipi.it\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/\" \/>\n<meta property=\"og:site_name\" content=\"UNIPI\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/unipisaofficial\/\" \/>\n<meta property=\"article:modified_time\" content=\"2026-04-01T02:33:47+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/\",\"url\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/\",\"name\":\"Filippo Bonchi ~ UNIPI\",\"isPartOf\":{\"@id\":\"https:\/\/www.unipi.it\/en\/#website\"},\"datePublished\":\"2025-05-12T13:47:56+00:00\",\"dateModified\":\"2026-04-01T02:33:47+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\",\"item\":\"https:\/\/www.unipi.it\/en\/home\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Filippo Bonchi\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.unipi.it\/en\/#website\",\"url\":\"https:\/\/www.unipi.it\/en\/\",\"name\":\"UNIPI\",\"description\":\"UNIPI\",\"publisher\":{\"@id\":\"https:\/\/www.unipi.it\/en\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.unipi.it\/en\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.unipi.it\/en\/#organization\",\"name\":\"UNIPI\",\"url\":\"https:\/\/www.unipi.it\/en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.unipi.it\/en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.unipi.it\/wp-content\/uploads\/Raggruppa-3020.svg\",\"contentUrl\":\"https:\/\/www.unipi.it\/wp-content\/uploads\/Raggruppa-3020.svg\",\"width\":176,\"height\":64,\"caption\":\"UNIPI\"},\"image\":{\"@id\":\"https:\/\/www.unipi.it\/en\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.facebook.com\/unipisaofficial\/\",\"https:\/\/www.instagram.com\/unipisa\/\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Filippo Bonchi ~ UNIPI","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/","og_locale":"en_US","og_type":"article","og_title":"Filippo Bonchi ~ UNIPI","og_description":"Professore Associato &#8211; Dipartimento di Informatica | Tel.: 0502212111 &#8211; Email: filippo.bonchi@unipi.it","og_url":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/","og_site_name":"UNIPI","article_publisher":"https:\/\/www.facebook.com\/unipisaofficial\/","article_modified_time":"2026-04-01T02:33:47+00:00","twitter_card":"summary_large_image","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/","url":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/","name":"Filippo Bonchi ~ UNIPI","isPartOf":{"@id":"https:\/\/www.unipi.it\/en\/#website"},"datePublished":"2025-05-12T13:47:56+00:00","dateModified":"2026-04-01T02:33:47+00:00","breadcrumb":{"@id":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/filippo-bonchi-123768-en\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"","item":"https:\/\/www.unipi.it\/en\/home\/"},{"@type":"ListItem","position":2,"name":"Filippo Bonchi"}]},{"@type":"WebSite","@id":"https:\/\/www.unipi.it\/en\/#website","url":"https:\/\/www.unipi.it\/en\/","name":"UNIPI","description":"UNIPI","publisher":{"@id":"https:\/\/www.unipi.it\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.unipi.it\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.unipi.it\/en\/#organization","name":"UNIPI","url":"https:\/\/www.unipi.it\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.unipi.it\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.unipi.it\/wp-content\/uploads\/Raggruppa-3020.svg","contentUrl":"https:\/\/www.unipi.it\/wp-content\/uploads\/Raggruppa-3020.svg","width":176,"height":64,"caption":"UNIPI"},"image":{"@id":"https:\/\/www.unipi.it\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/unipisaofficial\/","https:\/\/www.instagram.com\/unipisa\/"]}]}},"_links":{"self":[{"href":"https:\/\/www.unipi.it\/en\/wp-json\/wp\/v2\/unipi_persone\/142469","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.unipi.it\/en\/wp-json\/wp\/v2\/unipi_persone"}],"about":[{"href":"https:\/\/www.unipi.it\/en\/wp-json\/wp\/v2\/types\/unipi_persone"}],"wp:attachment":[{"href":"https:\/\/www.unipi.it\/en\/wp-json\/wp\/v2\/media?parent=142469"}],"wp:term":[{"taxonomy":"organizzazioni","embeddable":true,"href":"https:\/\/www.unipi.it\/en\/wp-json\/wp\/v2\/organizzazioni?post=142469"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}