{"id":148714,"date":"2025-05-12T14:07:01","date_gmt":"2025-05-12T14:07:01","guid":{"rendered":"https:\/\/www.unipi.it\/ateneo\/organizzazione\/persone\/roberta-gori-4249-en\/"},"modified":"2026-04-01T04:41:38","modified_gmt":"2026-04-01T02:41:38","slug":"roberta-gori-4249-en","status":"publish","type":"unipi_persone","link":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/roberta-gori-4249-en\/","title":{"rendered":"Roberta Gori"},"content":{"rendered":"<p>Professore Associato &#8211; Dipartimento di Informatica | Tel.: 050 221 3123 &#8211; Email: roberta.gori@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"4249","unipi-persone-nome":"Roberta","unipi-persone-cognome":"Gori","unipi-persone-email":"roberta.gori@unipi.it","unipi-persone-cv":"DATI PERSONALI: Nata a Firenze il 14 Marzo 1968. STUDI: Laurea in Scienze dell\u2019Informazione conseguita presso l\u2019Universit`a di Pisa nel 1994. Vincitrice di una borsa di studio di perfezionamento all\u2019estero dell\u2019Universit`a di Pisa nel 1994. DEA (Diplome d\u2019Etudes Approfondies) in Informatique, Mathematiques et Applications presso l\u2019Ecole Normale Superieure de Paris e l\u2019Ecole Polytechnique 1995. Titolo di Dottore di Ricerca in Logica Matematica e Informatica Teorica conseguita presso l'Universita' di Siena nel 1999. ATTIVITA' DI RICERCA: Titolare di Assegno di Ricerca presso l'Universita' di Pisa nel periodo 2000-2005. Ricercatore presso il Dipartimento di Informatica dell'Universita' di Pisa dall'Ottobre 2002. INTERESSI DI RICERCA: Semantica dei linguaggi di programmazione, con particolare attenzio- ne ai linguaggi logici, con diversi tipi di negazione, negazione come fallimento finito, negazione costruttiva. Studio del problema della terminazione nei linguaggi logici. Analisi statica di programmi tramite interpretazione astratta, domini astratti. Verifica di programmi con metodi induttivi. Studio di algoritmi di inferenza di tipi per linguaggi funzionali. Definizione di analisi per la verifica di proprieta' per il Bio Ambient calculus, calcolo introdotto per modellare sistemi biologici. PROGETTI DI RICERCA: Progetto MURST, Automatic Program Certification by Abstract In- terpretation Progetto MURST, Abstract Interpretation, Type Systems and Control- Flow Analysis Progetto co-finanziato MURST and MCYT (Ministero della Scienza e Tecnologia Spagnolo), Advanced Development Environments for Logic Programs Progetto MURST, AIDA, Abstract Interpretation: Design and Appli- cations Progetto PRIN BISCA, Sistemi e calcoli di ispirazione biologica e loro applicazioni.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"\r\n\r\n\r\n","unipi-persone-luogo-ricevimento":"\r\nUfficio 319 DO\r\n\r\n","unipi-persone-ore-ricevimento":"\r\nGiovedi 14,15-16,00\r\n\r\n","unipi-persone-telefono":"050 221 3123","unipi-persone-sitoweb":"www.di.unipi.it\/~gori","unipi-persone-cariche":"","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=009773","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=009773&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\/rp12959","unipi-persone-pubblicazioni":"<ul class=\"pubblicazioni-list\"><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1332533\" target=\"_blank\" rel=\"noopener noreferrer\">U-Turn: Enhancing Incorrectness Analysis by Reversing Direction<\/a> <span class=\"pub-details\">(Ascari, Flavio; Bruni, Roberto; Gori, Roberta; Raad, Azalea - 2025 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1332489\" target=\"_blank\" rel=\"noopener noreferrer\">Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks<\/a> <span class=\"pub-details\">(Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P. - 2025 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1332488\" target=\"_blank\" rel=\"noopener noreferrer\">Broadening the applicability of local completeness analysis with intensional and extensional guarantees<\/a> <span class=\"pub-details\">(Ascari, Flavio; Bruni, Roberto; Gori, Roberta - 2025 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1315650\" target=\"_blank\" rel=\"noopener noreferrer\">Revealing Sources of [Memory] Errors via Backward Analysis<\/a> <span class=\"pub-details\">(Ascari, F.; Bruni, R.; Gori, R.; Logozzo, F. - 2025 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1315248\" target=\"_blank\" rel=\"noopener noreferrer\">Attractor and\u00a0Slicing Analysis of\u00a0a\u00a0T Cell Differentiation Model Based on\u00a0Reaction Systems<\/a> <span class=\"pub-details\">(Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Milazzo, Paolo - 2025 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1269007\" target=\"_blank\" rel=\"noopener noreferrer\">Causal analysis of positive Reaction Systems<\/a> <span class=\"pub-details\">(Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.; Montagna, V.; Pulieri, P. - 2024 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1268987\" target=\"_blank\" rel=\"noopener noreferrer\">Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics<\/a> <span class=\"pub-details\">(Bruni, R.; Gori, R.; Milazzo, P.; Siboulet, H. - 2024 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1268947\" target=\"_blank\" rel=\"noopener noreferrer\">Limits and Difficulties in the Design of Under-Approximation Abstract Domains<\/a> <span class=\"pub-details\">(Ascari, Flavio; Bruni, Roberto; Gori, Roberta - 2024 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1268927\" target=\"_blank\" rel=\"noopener noreferrer\">Enhancing Reaction Systems with\u00a0Guards for\u00a0Analysing Comorbidity Treatment Strategies<\/a> <span class=\"pub-details\">(Bowles, Juliana; Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Milazzo, Paolo - 2024 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1206129\" target=\"_blank\" rel=\"noopener noreferrer\">Local Completeness in Abstract Interpretation<\/a> <span class=\"pub-details\">(Bruni, R.; Giacobazzi, R.; Gori, R.; Ranzato, F. - 2023 - 2.1 Contributo in volume (Capitolo o Saggio))<\/span><\/li><\/ul>","unipi-persone-didattica":"<ul class=\"registri-list\"><li>Compilation techniques (cod. 0073A) per Laurea Magistrale in Informatica<\/li><li>Test di valutazione di informatica (cod. INF01) per Laurea in Informatica<\/li><li>Logic and reasoning (cod. AA637) per Corso Singolo in Foundation course science<\/li><li>Linguaggi di programmazione con laboratorio (cod. 063AA) per Laurea in Matematica<br\/><strong>Insegnamenti condivisi\/mutuati:<\/strong><ul class=\"registri-shared\"><li>Linguaggi di programmazione con laboratorio (cod. 063AA) - Laurea Magistrale in Matematica<\/li><\/ul><\/li><\/ul>","unipi-persone-codocenze":"<h4 class=\"mt-2\">Incarichi di co-docenza in moduli\/insegnamenti<\/h4><ul><li>Program Analysis (Cod. 0078A) per Laurea Magistrale in Informatica<\/li><li>Programmazione e Algoritmica - Corso A (Cod. 735AA) per Laurea in Informatica<\/li><\/ul>","unipi-persone-interessi-ricerca":"","_wpml_word_count":"14","_last_translation_edit_mode":"translation-editor","_elementor_page_assets":[]},"organizzazioni":[3668],"class_list":["post-148714","unipi_persone","type-unipi_persone","status-publish","hentry","organizzazioni-dipartimento-di-informatica-489999-en"],"email":"roberta.gori@unipi.it","telefono":"050 221 3123","content_plain":"Professore Associato &#8211; Dipartimento di Informatica | Tel.: 050 221 3123 &#8211; Email: roberta.gori@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>Roberta Gori ~ 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\/roberta-gori-4249-en\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Roberta Gori ~ UNIPI\" \/>\n<meta property=\"og:description\" content=\"Professore Associato &#8211; Dipartimento di Informatica | Tel.: 050 221 3123 &#8211; Email: roberta.gori@unipi.it\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/roberta-gori-4249-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:41:38+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\/roberta-gori-4249-en\/\",\"url\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/roberta-gori-4249-en\/\",\"name\":\"Roberta Gori ~ UNIPI\",\"isPartOf\":{\"@id\":\"https:\/\/www.unipi.it\/en\/#website\"},\"datePublished\":\"2025-05-12T14:07:01+00:00\",\"dateModified\":\"2026-04-01T02:41:38+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/roberta-gori-4249-en\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/roberta-gori-4249-en\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/roberta-gori-4249-en\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\",\"item\":\"https:\/\/www.unipi.it\/en\/home\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Roberta Gori\"}]},{\"@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":"Roberta Gori ~ 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\/roberta-gori-4249-en\/","og_locale":"en_US","og_type":"article","og_title":"Roberta Gori ~ UNIPI","og_description":"Professore Associato &#8211; Dipartimento di Informatica | Tel.: 050 221 3123 &#8211; Email: roberta.gori@unipi.it","og_url":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/roberta-gori-4249-en\/","og_site_name":"UNIPI","article_publisher":"https:\/\/www.facebook.com\/unipisaofficial\/","article_modified_time":"2026-04-01T02:41:38+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\/roberta-gori-4249-en\/","url":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/roberta-gori-4249-en\/","name":"Roberta Gori ~ UNIPI","isPartOf":{"@id":"https:\/\/www.unipi.it\/en\/#website"},"datePublished":"2025-05-12T14:07:01+00:00","dateModified":"2026-04-01T02:41:38+00:00","breadcrumb":{"@id":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/roberta-gori-4249-en\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/roberta-gori-4249-en\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/roberta-gori-4249-en\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"","item":"https:\/\/www.unipi.it\/en\/home\/"},{"@type":"ListItem","position":2,"name":"Roberta Gori"}]},{"@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\/148714","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=148714"}],"wp:term":[{"taxonomy":"organizzazioni","embeddable":true,"href":"https:\/\/www.unipi.it\/en\/wp-json\/wp\/v2\/organizzazioni?post=148714"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}