{"id":157794,"date":"2025-05-12T14:42:50","date_gmt":"2025-05-12T14:42:50","guid":{"rendered":"https:\/\/www.unipi.it\/ateneo\/organizzazione\/persone\/gigliola-vaglini-5949-en\/"},"modified":"2026-04-01T04:58:54","modified_gmt":"2026-04-01T02:58:54","slug":"gigliola-vaglini-5949-en","status":"publish","type":"unipi_persone","link":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/gigliola-vaglini-5949-en\/","title":{"rendered":"Gigliola Vaglini"},"content":{"rendered":"<p>Docente Esterno | Email: gigliola.vaglini@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"5949","unipi-persone-nome":"Gigliola","unipi-persone-cognome":"Vaglini","unipi-persone-email":"gigliola.vaglini@unipi.it","unipi-persone-cv":"Gigliola Vaglini e' professore ordinario di Sistemi per l'Elaborazione dell'informazione (settore ING-INF\/05) presso la Facolt\u00e0 di ingegneria dell'Universit\u00e0 di Pisa ed \u00e8 membro del Dipartimento di Ingegneria dell'Informazione dell'Universita' di Pisa. Nata a Pisa nel 1952, si e' laureata in Scienze dell'Informazione presso l'Universita' di Pisa nel 1974. E' stata assegnista biennale e ricercatrice presso il Dipartimento di Informatica dell'Universita' di Pisa e poi professore associato dal 1989 al settembre 2002, prima alla Facolta' di S.M.F.N. dell'Universita' Federico II di Napoli e poi alla Facolta' di Ingegneria dell'Universita' di Pisa. Dal 1 ottobre 2002 \u00e8 professore ordinario presso il Dipartimento di Ingegneria dell'Informazione dell'Universit\u00e0 di Pisa. Attualmente \u00e8 presidente del Corso di Studio aggregato in Ingegneria Informatica, Computer Engineering e Embedded Computing Systems. Inoltre \u00e8 Coordinatore Scientifico  del Polo Informatico 6 del Sistema Informatico Dipartimentale. Svolge l'insegnamento del modulo di Basi di dati dell'insegnamento di Fondamenti di Informatica II nel Corso di Laurea triennale in Ingegneria Informatica, del modulo di Software Systems Engineering dell'insegnamento di Information Systems and Software Systems Engineering nel Corso di Laurea Magistrale in Computer Engineering; di parte dell'insegnamento di Dependable and Secure Systems, relativo ai metodi formali per la verifica di sistemi in tempo reale, nel Corso di laurea magistrale in Embedded Computing Systems. La sua attivita' di ricerca scientifica ha riguardato prevalentemente i modelli per sistemi concorrenti e distribuiti; la specifica e verifica di sistemi concorrenti; i metodi formali applicati alla verifica e alla specifica di sistemi concorrenti. Argomento di ricerca principale degli ultimi anni e' stato il model checking, come metodo di verifica di sistemi e programmi concorrenti, rispetto a proprieta' espresse in logica temporale, in particolare proprieta' di safety e security; si e' occupata anche della realizzazione di sistemi con requisiti real time stringenti, in particolare reti con deadline di trasmissione fissate. Ha partecipato a numerosi progetti di ricerca, finanziati dal MURST, dal CNR e dalla Comunita' Europea.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"\r\nRiceve il lunedi 11-13 in Largo Lazzarino, Edificio A II piano, sede distaccata del Dipartimento di Ingegneria dell'Informazione.\r\n\r\n\r\n\r\n","unipi-persone-luogo-ricevimento":"","unipi-persone-ore-ricevimento":"","unipi-persone-telefono":"","unipi-persone-sitoweb":"","unipi-persone-cariche":"","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=04542 ","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=04542 &tmplt=principale.tpl","unipi-persone-settore-scientifico":"","unipi-persone-ruolo":"Docente Esterno","unipi-persone-arpi":"https:\/\/arpi.unipi.it\/cris\/rp\/rp00361","unipi-persone-pubblicazioni":"<ul class=\"pubblicazioni-list\"><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1151380\" target=\"_blank\" rel=\"noopener noreferrer\">Structural Damage Localization via Deep Learning and IoT Enabled Digital Twin<\/a> <span class=\"pub-details\">(Parola, Marco; Galatolo, Federico; Torzoni, Matteo; Cimino, Mario; Vaglini, Gigliola - 2022 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1151363\" target=\"_blank\" rel=\"noopener noreferrer\">Using Artificial Immune System to Prioritize Swarm Strategies for Environmental Monitoring<\/a> <span class=\"pub-details\">(Monaco, M.; Simionato, G.; Cimino, M. G. C. A.; Vaglini, G.; Senatore, S.; Caricato, G. - 2022 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1151361\" target=\"_blank\" rel=\"noopener noreferrer\">Using Deep Learning-based Object Detection to Extract Structure Information from Scanned Documents<\/a> <span class=\"pub-details\">(Nannini, Alice; Galatolo, Federico; Cimino, Mario; Vaglini, Gigliola - 2022 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1151360\" target=\"_blank\" rel=\"noopener noreferrer\">Zero-shot Mathematical Problem Solving via Generative Pre-trained Transformers<\/a> <span class=\"pub-details\">(Galatolo, Federico; Cimino, Mario; Vaglini, Gigliola - 2022 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1122136\" target=\"_blank\" rel=\"noopener noreferrer\">Noise Boosted Neural Receptive Fields<\/a> <span class=\"pub-details\">(Galatolo, FEDERICO ANDREA; Cimino, MARIO GIOVANNI COSIMO ANTONIO; Marincioni, Alessandro; Vaglini, Gigliola - 2021 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1121484\" target=\"_blank\" rel=\"noopener noreferrer\">Recognizing motor imagery tasks from EEG oscillations through a novel ensemble-based neural network architecture<\/a> <span class=\"pub-details\">(Alfeo, A. L.; Catrambone, V.; Cimino, M. G. C. A.; Vaglini, G.; Valenza, G. - 2021 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1106333\" target=\"_blank\" rel=\"noopener noreferrer\">A hyper-heuristic methodology for coordinating swarms of robots in target search<\/a> <span class=\"pub-details\">(Cimino, Mario G. C. A.; Minici, Domenico; Monaco, Manilo; Petrocchi, Stefano; Vaglini, Gigliola - 2021 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1105660\" target=\"_blank\" rel=\"noopener noreferrer\">Using VLF time series from the INFREP network for the study of pre-seismic radio anomalies<\/a> <span class=\"pub-details\">(Monaco, Manilo; Nico, Giovanni; Biagi, Pier Francesco; Ermini, Anita; Nina, Aleksandra; Cimino, Mario Giovanni Cosimo Antonio; Vaglini, Gigliola - 2021 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1105656\" target=\"_blank\" rel=\"noopener noreferrer\">Managing the oceans cleanup via sea current analysis and bio-inspired coordination of USV swarms<\/a> <span class=\"pub-details\">(Monaco, Manilo; Cimino, Mario Giovanni Cosimo Antonio; Vaglini, Gigliola; Fusai, Francesco; Nico., Giovanni - 2021 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1105630\" target=\"_blank\" rel=\"noopener noreferrer\">Generating Images from Caption and Vice Versa via CLIP-Guided Generative Latent Space Search<\/a> <span class=\"pub-details\">(Galatolo, Federico A.; Cimino, Mario G. C. A.; Vaglini, Gigliola - 2021 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1105608\" target=\"_blank\" rel=\"noopener noreferrer\">Technological troubleshooting based on sentence embedding with deep transformers<\/a> <span class=\"pub-details\">(Alfeo, A. L.; Cimino, M. G. C. A.; Vaglini, G. - 2021 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1105586\" target=\"_blank\" rel=\"noopener noreferrer\">Solving the scalarization issues of Advantage-based Reinforcement Learning algorithms<\/a> <span class=\"pub-details\">(Galatolo, F. A.; Cimino, M. G. C. A.; Vaglini, G. - 2021 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1105582\" target=\"_blank\" rel=\"noopener noreferrer\">Degradation stage classification via interpretable feature learning<\/a> <span class=\"pub-details\">(Alfeo, A. L.; Cimino, M. G. C. A.; Vaglini, G. - 2021 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1100452\" target=\"_blank\" rel=\"noopener noreferrer\">Formal Derivation of Mesh Neural Networks with Their Forward-Only Gradient Propagation<\/a> <span class=\"pub-details\">(Galatolo, F. A.; Cimino, M. G. C. A.; Vaglini, G. - 2021 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1051170\" target=\"_blank\" rel=\"noopener noreferrer\">Model Checking and Machine Learning techniques for HummingBad Mobile Malware detection and mitigation<\/a> <span class=\"pub-details\">(Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Vaglini, Gigliola - 2020 - 1.1 Articolo in rivista)<\/span><\/li><\/ul>","unipi-persone-didattica":"","unipi-persone-codocenze":"","unipi-persone-interessi-ricerca":"","_wpml_word_count":"7","_last_translation_edit_mode":"translation-editor","_elementor_page_assets":[]},"organizzazioni":[],"class_list":["post-157794","unipi_persone","type-unipi_persone","status-publish","hentry"],"email":"gigliola.vaglini@unipi.it","telefono":null,"content_plain":"Docente Esterno | Email: gigliola.vaglini@unipi.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>Gigliola Vaglini ~ 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\/gigliola-vaglini-5949-en\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Gigliola Vaglini ~ UNIPI\" \/>\n<meta property=\"og:description\" content=\"Docente Esterno | Email: gigliola.vaglini@unipi.it\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/gigliola-vaglini-5949-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:58:54+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\/gigliola-vaglini-5949-en\/\",\"url\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/gigliola-vaglini-5949-en\/\",\"name\":\"Gigliola Vaglini ~ UNIPI\",\"isPartOf\":{\"@id\":\"https:\/\/www.unipi.it\/en\/#website\"},\"datePublished\":\"2025-05-12T14:42:50+00:00\",\"dateModified\":\"2026-04-01T02:58:54+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/gigliola-vaglini-5949-en\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/gigliola-vaglini-5949-en\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/gigliola-vaglini-5949-en\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\",\"item\":\"https:\/\/www.unipi.it\/en\/home\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Gigliola Vaglini\"}]},{\"@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":"Gigliola Vaglini ~ 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\/gigliola-vaglini-5949-en\/","og_locale":"en_US","og_type":"article","og_title":"Gigliola Vaglini ~ UNIPI","og_description":"Docente Esterno | Email: gigliola.vaglini@unipi.it","og_url":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/gigliola-vaglini-5949-en\/","og_site_name":"UNIPI","article_publisher":"https:\/\/www.facebook.com\/unipisaofficial\/","article_modified_time":"2026-04-01T02:58:54+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\/gigliola-vaglini-5949-en\/","url":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/gigliola-vaglini-5949-en\/","name":"Gigliola Vaglini ~ UNIPI","isPartOf":{"@id":"https:\/\/www.unipi.it\/en\/#website"},"datePublished":"2025-05-12T14:42:50+00:00","dateModified":"2026-04-01T02:58:54+00:00","breadcrumb":{"@id":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/gigliola-vaglini-5949-en\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/gigliola-vaglini-5949-en\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.unipi.it\/en\/about-us\/organisation\/people\/gigliola-vaglini-5949-en\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"","item":"https:\/\/www.unipi.it\/en\/home\/"},{"@type":"ListItem","position":2,"name":"Gigliola Vaglini"}]},{"@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\/157794","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=157794"}],"wp:term":[{"taxonomy":"organizzazioni","embeddable":true,"href":"https:\/\/www.unipi.it\/en\/wp-json\/wp\/v2\/organizzazioni?post=157794"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}