{"id":202473,"date":"2025-08-04T04:16:18","date_gmt":"2025-08-04T02:16:18","guid":{"rendered":"https:\/\/www.unipi.it\/ateneo\/organizzazione\/persone\/lorenzo-ceragioli-177321-en\/"},"modified":"2026-04-01T04:35:35","modified_gmt":"2026-04-01T02:35:35","slug":"lorenzo-ceragioli-177321-en","status":"publish","type":"unipi_persone","link":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/lorenzo-ceragioli-177321-en\/","title":{"rendered":"Lorenzo Ceragioli"},"content":{"rendered":"<p>Docente Esterno | Email: lore.crg@libero.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"177321","unipi-persone-nome":"Lorenzo","unipi-persone-cognome":"Ceragioli","unipi-persone-email":"lore.crg@libero.it","unipi-persone-ruolo":"Docente Esterno","_wpml_word_count":"7","_last_translation_edit_mode":"translation-editor","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=38359 ","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=38359 &tmplt=principale.tpl","unipi-persone-arpi":"https:\/\/arpi.unipi.it\/cris\/rp\/rp79952","unipi-persone-pubblicazioni":"<ul class=\"pubblicazioni-list\"><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1275531\" target=\"_blank\" rel=\"noopener noreferrer\">Testing Quantum Processes<\/a> <span class=\"pub-details\">(Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G. - 2024 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1272255\" target=\"_blank\" rel=\"noopener noreferrer\">Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers<\/a> <span class=\"pub-details\">(Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele - 2024 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1271669\" target=\"_blank\" rel=\"noopener noreferrer\">Effect Semantics for Quantum Process Calculi<\/a> <span class=\"pub-details\">(Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele - 2024 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1080355\" target=\"_blank\" rel=\"noopener noreferrer\">FWS: Analyzing, maintaining and transcompiling firewalls<\/a> <span class=\"pub-details\">(Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo - 2021 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1030273\" target=\"_blank\" rel=\"noopener noreferrer\">MuAC: Access Control Language for Mutual Benefits<\/a> <span class=\"pub-details\">(Ceragioli, L.; Degano, P.; Galletta, L. - 2020 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1013187\" target=\"_blank\" rel=\"noopener noreferrer\">Checking the Expressivity of Firewall Languages<\/a> <span class=\"pub-details\">(Ceragioli, Lorenzo; Degano, P.; Galletta, L. - 2019 - 2.1 Contributo in volume (Capitolo o Saggio))<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1013185\" target=\"_blank\" rel=\"noopener noreferrer\">Are All Firewall Systems Equally Powerful?<\/a> <span class=\"pub-details\">(Ceragioli, L.; Degano, P.; Galletta, L. - 2019 - 2.1 Contributo in volume (Capitolo o Saggio))<\/span><\/li><\/ul>","unipi-persone-modalita-ricevimento":"","unipi-persone-luogo-ricevimento":"Dipartimento di informatica","unipi-persone-ore-ricevimento":"Mercoled\u00ec 16-17","unipi-persone-didattica":"<ul class=\"registri-list\"><li>Software validation and verification (cod. 660AA) per Laurea Magistrale in Informatica<\/li><\/ul>"},"organizzazioni":[],"class_list":["post-202473","unipi_persone","type-unipi_persone","status-publish","hentry"],"email":"lore.crg@libero.it","telefono":null,"content_plain":"Docente Esterno | Email: lore.crg@libero.it","photo_url":null,"ruoli_tags":[{"id":745,"name":"DE","slug":"de"}],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.0 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Lorenzo Ceragioli ~ 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\/lorenzo-ceragioli-177321-en\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Lorenzo Ceragioli ~ UNIPI\" \/>\n<meta property=\"og:description\" content=\"Docente Esterno | Email: lore.crg@libero.it\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/lorenzo-ceragioli-177321-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:35:35+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\/lorenzo-ceragioli-177321-en\/\",\"url\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/lorenzo-ceragioli-177321-en\/\",\"name\":\"Lorenzo Ceragioli ~ UNIPI\",\"isPartOf\":{\"@id\":\"https:\/\/www.unipi.it\/en\/#website\"},\"datePublished\":\"2025-08-04T02:16:18+00:00\",\"dateModified\":\"2026-04-01T02:35:35+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/lorenzo-ceragioli-177321-en\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/lorenzo-ceragioli-177321-en\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/lorenzo-ceragioli-177321-en\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\",\"item\":\"https:\/\/www.unipi.it\/en\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Lorenzo Ceragioli\"}]},{\"@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":"Lorenzo Ceragioli ~ 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\/lorenzo-ceragioli-177321-en\/","og_locale":"en_US","og_type":"article","og_title":"Lorenzo Ceragioli ~ UNIPI","og_description":"Docente Esterno | Email: lore.crg@libero.it","og_url":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/lorenzo-ceragioli-177321-en\/","og_site_name":"UNIPI","article_publisher":"https:\/\/www.facebook.com\/unipisaofficial\/","article_modified_time":"2026-04-01T02:35:35+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\/lorenzo-ceragioli-177321-en\/","url":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/lorenzo-ceragioli-177321-en\/","name":"Lorenzo Ceragioli ~ UNIPI","isPartOf":{"@id":"https:\/\/www.unipi.it\/en\/#website"},"datePublished":"2025-08-04T02:16:18+00:00","dateModified":"2026-04-01T02:35:35+00:00","breadcrumb":{"@id":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/lorenzo-ceragioli-177321-en\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/lorenzo-ceragioli-177321-en\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/lorenzo-ceragioli-177321-en\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"","item":"https:\/\/www.unipi.it\/en\/"},{"@type":"ListItem","position":2,"name":"Lorenzo Ceragioli"}]},{"@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\/202473","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=202473"}],"wp:term":[{"taxonomy":"organizzazioni","embeddable":true,"href":"https:\/\/www.unipi.it\/en\/wp-json\/wp\/v2\/organizzazioni?post=202473"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}