{"id":147045,"date":"2025-05-12T14:00:43","date_gmt":"2025-05-12T14:00:43","guid":{"rendered":"https:\/\/www-test.unipi.it\/ateneo\/organizzazione\/persone\/gian-luigi-ferrari-4277-en\/"},"modified":"2026-03-31T14:42:04","modified_gmt":"2026-03-31T12:42:04","slug":"gian-luigi-ferrari-4277-en","status":"publish","type":"unipi_persone","link":"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/gian-luigi-ferrari-4277-en\/","title":{"rendered":"Gian-Luigi Ferrari"},"content":{"rendered":"<p>Professore Ordinario &#8211; Dipartimento di Informatica | Tel.: 050 221 2766 &#8211; Email: gian-luigi.ferrari@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"4277","unipi-persone-nome":"Gian-Luigi","unipi-persone-cognome":"Ferrari","unipi-persone-email":"gian-luigi.ferrari@unipi.it","unipi-persone-cv":"Gian-Luigi Ferrari<br \/>\r\nG. Ferrari si \u00e8 laureato in Scienze dell'Informazione nel 1984, ha conseguito il Dottorato di Ricerca in Informatica nel 1990. Attualmente \u00e8 professore ordinario di Informatica in servizio presso il Dipartimento di Informatica dell'Universit\u00e0 di Pisa. <br \/>\r\nG. Ferrari ricopre il ruolo di vice-direttore del Dipartimento di Informatica con la delega al coordinamento delle attivit\u00e0 didattiche (corsi di Laurea e Laurea Magistrale). G. Ferrari \u00e8 il Coordinatore di ateneo per le attivit\u00e0 relative all\u2019acquisizione delle competenze informatiche nei percorsi formativi universitari (progetto SAI@UNIPI). E' stato componente del Comitato Tecnico Scientifico del Consorzio GARR, la rete telematica italiana dell\u2019Universit\u00e0 e della Ricerca, nel triennio 2006-2009. <br \/>\r\n<br \/>\r\nAttivit\u00e0 di ricerca<br \/>\r\nL'attivit\u00e0 di ricerca di G. Ferrari si situa in quel settore dell'informatica che cerca di rispondere a alcuni problemi di carattere sia fondazionale che applicativo posti dai sistemi  concorrenti  e distribuiti caratterizzati dalla eterogeneit\u00e0 delle strutture di interconnessione e delle piattaforme software.<br \/>\r\nL'attivit\u00e0 di ricerca \u00e8 caratterizzata da un atteggiamento culturale orientato verso l'interdisciplinariet\u00e0 e l'integrazione di metodi e strumenti diversi. Gli studi di natura prettamente fondazionale sono stati di fatto usati sia per il progetto e la realizzazione di strumenti automatici di supporto alla verifica di propriet\u00e0 di applicazioni distribuite (quali, ad esempio, le propriet\u00e0 di sicurezza), che per il progetto e realizzazione di linguaggi sperimentali e middleware per la programmazione di applicazione su rete. G. Ferrari \u00e8 autore di oltre 120 pubblicazioni scientifiche in riviste e conferenze internazionali. <br \/>\r\nAttualmente l'attivit\u00e0 di ricerca ha affrontato le sfide tecnologiche e fondazionali poste dalla progettazione e sviluppo di sistemi autonomici orientati ai servizi. L'evoluzione tecnologica ha accentuato la necessit\u00e0 di progettare e programmare sistemi ingrado di auto-ripararsi, auto-configurarsi, auto-ottimizzarsi, auto-proteggersi e comportarsi in accordo a determinati livelli di qualit\u00e0 del servizio. L'obiettivo a lungo termine \u00e8 quello di progettare e realizzare linguaggi e strumenti (sia di natura fondazionali che software sperimentale) di ausilio allo progettazione e realizzazione di sistemi software a tecnologia innovativa. <br \/>\r\nG. Ferrari ha svolto attivit\u00e0 organizzative di eventi scientifici ed editoriali. Ha partecipato a comitati di programma di numerose conferenze nazionali e internazionali. <br \/>\r\n<br \/>\r\nAttivit\u00e0 divulgazione scientifica<br \/>\r\nG. Ferrari ha curato la progettazione del Laboratorio di Future Internet al Festival della Scienza di Genova 2009. Il laboratorio ha avuto il maggior numero di presenze dell\u2019edizione 2009 del Festival della Scienza.<br \/>\r\nG. Ferrari \u00e8 uno degli ideatori e curatori del Festival di Internet, (www.internetfestival.it). L'evento \u00e8 promosso da Regione Toscana, Comune di Pisa, la Provincia di Pisa, Consiglio  Nazionale delle Ricerche, Universit\u00e0 di Pisa, Scuola Superiore di  Studi Universitari Sant'Anna, Scuola Normale Superiore, Camera di Commercio e Associazione Festival della Scienza di Genova. Il festival di Internet si propone di trattare in modi diretto e  coinvolgente i temi \"caldi\" della rete per esplorare e comprendere al meglio il potenziale economico e sociale di Internet  per l'innovazione e la crescita economica, per il miglioramento della qualit\u00e0 di vita dei cittadini e delle imprese.  G. Ferrari ricopre il ruolo di Coordinatore del Comitato Scientifico del Festival di Internet.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"","unipi-persone-luogo-ricevimento":"Piattaforma teams o ufficio Dipartimento di Informatica","unipi-persone-ore-ricevimento":"Martedi 14:30 - 16:00,\nGioved\u00ec 16:00-17:30","unipi-persone-telefono":"050 221 2766","unipi-persone-sitoweb":"http:\/\/pages.di.unipi.it\/ferrari\/","unipi-persone-cariche":"","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=008044","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=008044&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\/rp12392","unipi-persone-pubblicazioni":"<ul class=\"pubblicazioni-list\"><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1287189\" target=\"_blank\" rel=\"noopener noreferrer\">Klaim in the Making<\/a> <span class=\"pub-details\">(Ferrari, Gian-Luigi; Bettini, Lorenzo; Loreti, Michele; Pugliese, Rosario; Tiezzi, Francesco; Tuosto, Emilio - 2024 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1277729\" target=\"_blank\" rel=\"noopener noreferrer\">Riding the\u00a0Data Storms: Specifying and\u00a0Analysing IoT Security Requirements with\u00a0SURFING<\/a> <span class=\"pub-details\">(Rubino, Francesco; Bodei, Chiara; Ferrari, GIAN-LUIGI - 2024 - 2.1 Contributo in volume (Capitolo o Saggio))<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1214392\" target=\"_blank\" rel=\"noopener noreferrer\">Risk Estimation in IoT Systems<\/a> <span class=\"pub-details\">(Bodei, Chiara; Ferrari, Gian-Luigi; Galletta, Letterio; Degano, Pierpaolo - 2023 - 2.1 Contributo in volume (Capitolo o Saggio))<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1187416\" target=\"_blank\" rel=\"noopener noreferrer\">Secure Partitioning of Cloud Applications, with Cost Look-Ahead<\/a> <span class=\"pub-details\">(Bocci, Alessandro; Forti, Stefano; Guanciale, Roberto; Ferrari, Gian-Luigi; Brogi, Antonio - 2023 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1185307\" target=\"_blank\" rel=\"noopener noreferrer\">Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum<\/a> <span class=\"pub-details\">(Bocci, A; Forti, S; Ferrari, Gian-Luigi; Brogi, A - 2023 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1217528\" target=\"_blank\" rel=\"noopener noreferrer\">L&#039;Informatica alle origini<\/a> <span class=\"pub-details\">(Ferrari, Gian-Luigi - 2022 - 3.7 Commento scientifico)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1190887\" target=\"_blank\" rel=\"noopener noreferrer\">Internet Festival - Forme di Futuro<\/a> <span class=\"pub-details\">(De Cesare, Adriana; Ferrari, GIAN-LUIGI; Giua, Claudio; Vaccarelli, Anna - 2022 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1152399\" target=\"_blank\" rel=\"noopener noreferrer\">Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations<\/a> <span class=\"pub-details\">(Bocci, A.; Forti, S.; Ferrari, G. -L.; Brogi, A. - 2022 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1141175\" target=\"_blank\" rel=\"noopener noreferrer\">Secure Partitioning of Composite Cloud Applications<\/a> <span class=\"pub-details\">(Bocci, Alessandro; Guanciale, Roberto; Forti, Stefano; Ferrari, Gian-Luigi; Brogi, Antonio - 2022 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1126128\" target=\"_blank\" rel=\"noopener noreferrer\">Placing FaaS in the Fog, securely<\/a> <span class=\"pub-details\">(Bocci, A.; Forti, S.; Ferrari, G. -L.; Brogi, A. - 2021 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1126125\" target=\"_blank\" rel=\"noopener noreferrer\">Supervisory Synthesis of Configurable Behavioural Contracts with Modalities<\/a> <span class=\"pub-details\">(Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F. - 2021 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1104472\" target=\"_blank\" rel=\"noopener noreferrer\">Modelling and analysing IoT systems<\/a> <span class=\"pub-details\">(Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio - 2021 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1083890\" target=\"_blank\" rel=\"noopener noreferrer\">Secure FaaS Orchestration in the Fog: How Far Are We?<\/a> <span class=\"pub-details\">(Bocci, A.; Forti, S.; Ferrari, Gian-Luigi; Brogi, Antonio - 2021 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1078419\" target=\"_blank\" rel=\"noopener noreferrer\">WEB<\/a> <span class=\"pub-details\">(Ferrari, GIAN-LUIGI; Danelutto, Marco; DE SENSI, Daniele - 2020 - 2.1 Contributo in volume (Capitolo o Saggio))<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1078416\" target=\"_blank\" rel=\"noopener noreferrer\">Storie da cui si Impara: Prefazione<\/a> <span class=\"pub-details\">(Ferrari, GIAN-LUIGI - 2020 - 2.2 Prefazione\/Postfazione)<\/span><\/li><\/ul>","unipi-persone-didattica":"<ul class=\"registri-list\"><li>Language-based technology for security (cod. 714AA) per Laurea Magistrale in Cybersecurity<br\/><strong>Insegnamenti condivisi\/mutuati:<\/strong><ul class=\"registri-shared\"><li>Language-based technology for security (cod. 714AA) - Laurea Magistrale in Informatica<\/li><\/ul><\/li><\/ul>","unipi-persone-codocenze":"<h4 class=\"mt-2\">Incarichi di co-docenza in moduli\/insegnamenti<\/h4><ul><li>Laboratory For Innovative Software (Cod. 652AA) per Laurea Magistrale in Informatica<\/li><li>Software Validation and Verification (Cod. 660AA) per Laurea Magistrale in Informatica<\/li><\/ul>","unipi-persone-interessi-ricerca":"","_wpml_word_count":"12","_last_translation_edit_mode":"translation-editor","_elementor_page_assets":[]},"organizzazioni":[11455],"class_list":["post-147045","unipi_persone","type-unipi_persone","status-publish","hentry","organizzazioni-dipartimento-di-informatica-489999-en"],"email":"gian-luigi.ferrari@unipi.it","telefono":"050 221 2766","content_plain":"Professore Ordinario &#8211; Dipartimento di Informatica | Tel.: 050 221 2766 &#8211; Email: gian-luigi.ferrari@unipi.it","photo_url":"https:\/\/www-test.unipi.it\/fotopersonale\/4277.jpg","ruoli_tags":[{"id":748,"name":"PO","slug":"po"}],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v28.1 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Gian-Luigi Ferrari ~ UNIPI<\/title>\n<meta name=\"robots\" content=\"noindex, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Gian-Luigi Ferrari ~ UNIPI\" \/>\n<meta property=\"og:description\" content=\"Professore Ordinario &#8211; Dipartimento di Informatica | Tel.: 050 221 2766 &#8211; Email: gian-luigi.ferrari@unipi.it\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/gian-luigi-ferrari-4277-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-03-31T12:42:04+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-test.unipi.it\\\/en\\\/abous-us\\\/organization\\\/people\\\/gian-luigi-ferrari-4277-en\\\/\",\"url\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/abous-us\\\/organization\\\/people\\\/gian-luigi-ferrari-4277-en\\\/\",\"name\":\"Gian-Luigi Ferrari ~ UNIPI\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/#website\"},\"datePublished\":\"2025-05-12T14:00:43+00:00\",\"dateModified\":\"2026-03-31T12:42:04+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/abous-us\\\/organization\\\/people\\\/gian-luigi-ferrari-4277-en\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/abous-us\\\/organization\\\/people\\\/gian-luigi-ferrari-4277-en\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/abous-us\\\/organization\\\/people\\\/gian-luigi-ferrari-4277-en\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\",\"item\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Gian-Luigi Ferrari\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/\",\"name\":\"UNIPI\",\"description\":\"UNIPI\",\"publisher\":{\"@id\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www-test.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-test.unipi.it\\\/en\\\/#organization\",\"name\":\"UNIPI\",\"url\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www-test.unipi.it\\\/wp-content\\\/uploads\\\/Raggruppa-3020.svg\",\"contentUrl\":\"https:\\\/\\\/www-test.unipi.it\\\/wp-content\\\/uploads\\\/Raggruppa-3020.svg\",\"width\":176,\"height\":64,\"caption\":\"UNIPI\"},\"image\":{\"@id\":\"https:\\\/\\\/www-test.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":"Gian-Luigi Ferrari ~ UNIPI","robots":{"index":"noindex","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"og_locale":"en_US","og_type":"article","og_title":"Gian-Luigi Ferrari ~ UNIPI","og_description":"Professore Ordinario &#8211; Dipartimento di Informatica | Tel.: 050 221 2766 &#8211; Email: gian-luigi.ferrari@unipi.it","og_url":"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/gian-luigi-ferrari-4277-en\/","og_site_name":"UNIPI","article_publisher":"https:\/\/www.facebook.com\/unipisaofficial\/","article_modified_time":"2026-03-31T12:42:04+00:00","twitter_card":"summary_large_image","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/gian-luigi-ferrari-4277-en\/","url":"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/gian-luigi-ferrari-4277-en\/","name":"Gian-Luigi Ferrari ~ UNIPI","isPartOf":{"@id":"https:\/\/www-test.unipi.it\/en\/#website"},"datePublished":"2025-05-12T14:00:43+00:00","dateModified":"2026-03-31T12:42:04+00:00","breadcrumb":{"@id":"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/gian-luigi-ferrari-4277-en\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/gian-luigi-ferrari-4277-en\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/gian-luigi-ferrari-4277-en\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"","item":"https:\/\/www-test.unipi.it\/en\/"},{"@type":"ListItem","position":2,"name":"Gian-Luigi Ferrari"}]},{"@type":"WebSite","@id":"https:\/\/www-test.unipi.it\/en\/#website","url":"https:\/\/www-test.unipi.it\/en\/","name":"UNIPI","description":"UNIPI","publisher":{"@id":"https:\/\/www-test.unipi.it\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www-test.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-test.unipi.it\/en\/#organization","name":"UNIPI","url":"https:\/\/www-test.unipi.it\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www-test.unipi.it\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www-test.unipi.it\/wp-content\/uploads\/Raggruppa-3020.svg","contentUrl":"https:\/\/www-test.unipi.it\/wp-content\/uploads\/Raggruppa-3020.svg","width":176,"height":64,"caption":"UNIPI"},"image":{"@id":"https:\/\/www-test.unipi.it\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/unipisaofficial\/","https:\/\/www.instagram.com\/unipisa\/"]}]}},"_links":{"self":[{"href":"https:\/\/www-test.unipi.it\/en\/wp-json\/wp\/v2\/unipi_persone\/147045","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www-test.unipi.it\/en\/wp-json\/wp\/v2\/unipi_persone"}],"about":[{"href":"https:\/\/www-test.unipi.it\/en\/wp-json\/wp\/v2\/types\/unipi_persone"}],"wp:attachment":[{"href":"https:\/\/www-test.unipi.it\/en\/wp-json\/wp\/v2\/media?parent=147045"}],"wp:term":[{"taxonomy":"organizzazioni","embeddable":true,"href":"https:\/\/www-test.unipi.it\/en\/wp-json\/wp\/v2\/organizzazioni?post=147045"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}