{"id":148174,"date":"2025-05-12T14:04:47","date_gmt":"2025-05-12T14:04:47","guid":{"rendered":"https:\/\/www.unipi.it\/ateneo\/organizzazione\/persone\/giorgio-ghelli-4284-en\/"},"modified":"2026-04-01T04:40:59","modified_gmt":"2026-04-01T02:40:59","slug":"giorgio-ghelli-4284-en","status":"publish","type":"unipi_persone","link":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/giorgio-ghelli-4284-en\/","title":{"rendered":"Giorgio Ghelli"},"content":{"rendered":"<p>Professore Ordinario &#8211; Dipartimento di Informatica | Tel.: 050 221 2780 &#8211; Email: giorgio.ghelli@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"4284","unipi-persone-nome":"Giorgio","unipi-persone-cognome":"Ghelli","unipi-persone-email":"giorgio.ghelli@unipi.it","unipi-persone-cv":"Giorgio Ghelli \u00e8 professore di prima fascia in Informatica all'Universit\u00e0 di Pisa, dal Settembre del 2002, ed \u00e8 stato professore associato di Basi di Dati e Sistemi Informativi dal Novembre del 1992. \u00c8 stato visiting professor all'Ecole Normale Sup\u00e9rieure di Parigi (1993), al Microsoft Research Center di Cambridge (UK) (1998), e presso la Microsoft Co. (Redmond, USA, 2005).<br \/>\r\nI suoi interessi di ricerca sono: progettazione e realizzazione di linguaggi per basi di dati, teoria dei tipi e sua applicazione al tema precedente, fondamenti di linguaggi ad oggetti, linguaggi e sistemi peer-to-peer per interrogare dati semistrutturati ed XML. Ha contribuito al disegno ed alla realizzazione dei linguaggi per basi di dati Galileo e Fibonacci e del linguaggio TQL, un linguaggio per interrogare dati semi-strutturati ed XML.<br \/>\r\nHa partecipato a numerosi progetti internazionali relativi a linguaggi e sistemi per basi di dati ed a linguaggi di programmazione.<br \/>\r\nHa partecipato a comitati di programma di conferenze e workshop internazionali e nazionali dedicati a linguaggi ad oggetti ed a basi di dati. \u00c8 stato program chair dei workshop DBPL'01 (Database Programming Languages), FOOL'03 (Foundations of Object Oriented Languages), PLAN-X'07 (Programming Language Technologies for XML).<br \/>\r\nHa pubblicato pi\u00f9 di ottanta lavori su riviste, conferenze e workshop internazionali con referee, lavorando con Antonio Albano, Luca Cardelli, Pierre-Louis Curien, Andrew Gordon, Giuseppe Castagna, Giuseppe Longo, Benjamin Pierce, J\u00e9r\u00f4me Sim\u00e9on, ed altri.<br \/>\r\nFa parte del board dell'EAPLS (European Association for Programming Languages and Systems), e della giunta del GRIN, l'associazione di categoria del docenti universitari del settore IBF\/01.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"Per sicurezza contattatemi prima\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n","unipi-persone-luogo-ricevimento":"Dip.to di Informatica, Stanza 290\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n","unipi-persone-ore-ricevimento":"Luned\u00ec, ore 9:45 - 12:45\r\n","unipi-persone-telefono":"050 221 2780","unipi-persone-sitoweb":"www.di.unipi.it\/~ghelli","unipi-persone-cariche":"","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=008048","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=008048&tmplt=principale.tpl","unipi-persone-settore-scientifico":"Informatica INFO-01\/A","unipi-persone-ruolo":"Professore Ordinario","unipi-persone-arpi":"https:\/\/arpi.unipi.it\/cris\/rp\/rp13477","unipi-persone-pubblicazioni":"<ul class=\"pubblicazioni-list\"><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1272627\" target=\"_blank\" rel=\"noopener noreferrer\">Validation of Modern JSON Schema: Formalization and Complexity<\/a> <span class=\"pub-details\">(Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2024 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1201189\" target=\"_blank\" rel=\"noopener noreferrer\">Negation-closure for JSON Schema<\/a> <span class=\"pub-details\">(Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2023 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1201188\" target=\"_blank\" rel=\"noopener noreferrer\">Witness Generation for JSON Schema<\/a> <span class=\"pub-details\">(Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2022 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1201187\" target=\"_blank\" rel=\"noopener noreferrer\">The Usage of Negation in Real-World JSON Schema Documents<\/a> <span class=\"pub-details\">(Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2022 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1116676\" target=\"_blank\" rel=\"noopener noreferrer\">A tool for JSON schema witness generation<\/a> <span class=\"pub-details\">(Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Falleni, F.; Ghelli, G.; Landi, C.; Sartiani, C.; Scherzinger, S. - 2021 - 4.2 Abstract in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1116670\" target=\"_blank\" rel=\"noopener noreferrer\">A test suite for JSON schema containment<\/a> <span class=\"pub-details\">(Attouche, L.; Baazizi, M. -A.; Colazzo, D.; Ding, Y.; Fruth, M.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2021 - 4.2 Abstract in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1116626\" target=\"_blank\" rel=\"noopener noreferrer\">An Empirical Study on the \u201cUsage of\u00a0Not\u201d in Real-World JSON Schema Documents<\/a> <span class=\"pub-details\">(Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2021 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1081559\" target=\"_blank\" rel=\"noopener noreferrer\">Human-in-the-loop schema inference for massive JSON datasets<\/a> <span class=\"pub-details\">(Baazizi, M. -A.; Berti, C.; Colazzo, D.; Ghelli, G.; Sartiani, C. - 2020 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1081557\" target=\"_blank\" rel=\"noopener noreferrer\">Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas<\/a> <span class=\"pub-details\">(Fruth, M.; Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.; Scherzinger, S. - 2020 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1032883\" target=\"_blank\" rel=\"noopener noreferrer\">Schemas and types for JSON data: From theory to practice<\/a> <span class=\"pub-details\">(Baazizi, M. -A.; Ghelli, G.; Colazzo, D.; Sartiani, C. - 2019 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1000904\" target=\"_blank\" rel=\"noopener noreferrer\">Schemas and types for JSON data<\/a> <span class=\"pub-details\">(Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C. - 2019 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1000900\" target=\"_blank\" rel=\"noopener noreferrer\">A type system for interactive JSON schema inference [extended abstract]<\/a> <span class=\"pub-details\">(Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C. - 2019 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1000894\" target=\"_blank\" rel=\"noopener noreferrer\">Parametric schema inference for massive JSON datasets<\/a> <span class=\"pub-details\">(Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C. - 2019 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/900689\" target=\"_blank\" rel=\"noopener noreferrer\">XML Updates<\/a> <span class=\"pub-details\">(Ghelli, Giorgio - 2017 - 2.4 Voce (in dizionario o enciclopedia))<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/899684\" target=\"_blank\" rel=\"noopener noreferrer\">Counting types for massive JSON datasets<\/a> <span class=\"pub-details\">(Baazizi, Mohamed-Amine; Colazzo, Dario; Ghelli, Giorgio; Sartiani, Carlo - 2017 - 4.1 Contributo in Atti di convegno)<\/span><\/li><\/ul>","unipi-persone-didattica":"<ul class=\"registri-list\"><li>Basi di dati - corso a (cod. 244AA) per Laurea in Informatica<\/li><li>Advanced databases (cod. 641AA) per Laurea Magistrale in Informatica<br\/><strong>Insegnamenti condivisi\/mutuati:<\/strong><ul class=\"registri-shared\"><li>Advanced databases (cod. 641AA) - Laurea Magistrale in Data science and business informatics<\/li><\/ul><\/li><li>Databases (cod. 765AA) per Laurea Magistrale in Data science and business informatics<br\/><strong>Insegnamenti condivisi\/mutuati:<\/strong><ul class=\"registri-shared\"><li>Databases (cod. 765AA) - Laurea Magistrale in Informatica umanistica<\/li><\/ul><\/li><\/ul>","unipi-persone-codocenze":"","unipi-persone-interessi-ricerca":"","_wpml_word_count":"14","_last_translation_edit_mode":"translation-editor","_elementor_page_assets":[]},"organizzazioni":[3668],"class_list":["post-148174","unipi_persone","type-unipi_persone","status-publish","hentry","organizzazioni-dipartimento-di-informatica-489999-en"],"email":"giorgio.ghelli@unipi.it","telefono":"050 221 2780","content_plain":"Professore Ordinario &#8211; Dipartimento di Informatica | Tel.: 050 221 2780 &#8211; Email: giorgio.ghelli@unipi.it","photo_url":null,"ruoli_tags":[{"id":748,"name":"PO","slug":"po"}],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.0 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Giorgio Ghelli ~ 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\/giorgio-ghelli-4284-en\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Giorgio Ghelli ~ UNIPI\" \/>\n<meta property=\"og:description\" content=\"Professore Ordinario &#8211; Dipartimento di Informatica | Tel.: 050 221 2780 &#8211; Email: giorgio.ghelli@unipi.it\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/giorgio-ghelli-4284-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:40:59+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\/giorgio-ghelli-4284-en\/\",\"url\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/giorgio-ghelli-4284-en\/\",\"name\":\"Giorgio Ghelli ~ UNIPI\",\"isPartOf\":{\"@id\":\"https:\/\/www.unipi.it\/en\/#website\"},\"datePublished\":\"2025-05-12T14:04:47+00:00\",\"dateModified\":\"2026-04-01T02:40:59+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/giorgio-ghelli-4284-en\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/giorgio-ghelli-4284-en\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/giorgio-ghelli-4284-en\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\",\"item\":\"https:\/\/www.unipi.it\/en\/home\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Giorgio Ghelli\"}]},{\"@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":"Giorgio Ghelli ~ 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\/giorgio-ghelli-4284-en\/","og_locale":"en_US","og_type":"article","og_title":"Giorgio Ghelli ~ UNIPI","og_description":"Professore Ordinario &#8211; Dipartimento di Informatica | Tel.: 050 221 2780 &#8211; Email: giorgio.ghelli@unipi.it","og_url":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/giorgio-ghelli-4284-en\/","og_site_name":"UNIPI","article_publisher":"https:\/\/www.facebook.com\/unipisaofficial\/","article_modified_time":"2026-04-01T02:40:59+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\/giorgio-ghelli-4284-en\/","url":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/giorgio-ghelli-4284-en\/","name":"Giorgio Ghelli ~ UNIPI","isPartOf":{"@id":"https:\/\/www.unipi.it\/en\/#website"},"datePublished":"2025-05-12T14:04:47+00:00","dateModified":"2026-04-01T02:40:59+00:00","breadcrumb":{"@id":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/giorgio-ghelli-4284-en\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/giorgio-ghelli-4284-en\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/giorgio-ghelli-4284-en\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"","item":"https:\/\/www.unipi.it\/en\/home\/"},{"@type":"ListItem","position":2,"name":"Giorgio Ghelli"}]},{"@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\/148174","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=148174"}],"wp:term":[{"taxonomy":"organizzazioni","embeddable":true,"href":"https:\/\/www.unipi.it\/en\/wp-json\/wp\/v2\/organizzazioni?post=148174"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}