{"id":147419,"date":"2025-05-12T14:02:17","date_gmt":"2025-05-12T14:02:17","guid":{"rendered":"https:\/\/www-test.unipi.it\/ateneo\/organizzazione\/persone\/stefano-forti-147669-en\/"},"modified":"2026-03-31T14:42:49","modified_gmt":"2026-03-31T12:42:49","slug":"stefano-forti-147669-en","status":"publish","type":"unipi_persone","link":"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/stefano-forti-147669-en\/","title":{"rendered":"Stefano Forti"},"content":{"rendered":"<p>Ricercatore a tempo determinato L.240\/2010  &#8211; Dipartimento di Informatica | Tel.: 0502212759 &#8211; Email: stefano.forti@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"147669","unipi-persone-nome":"Stefano","unipi-persone-cognome":"Forti","unipi-persone-email":"stefano.forti@unipi.it","unipi-persone-cv":"Stefano Forti \u00e8 ricercatore in tenure track (RTT) presso il Dipartimento di Informatica dell'Universit\u00e0 di Pisa dal 2024. Ha conseguito un dottorato di ricerca con lode in Informatica (2020) presso l'Universit\u00e0 di Pisa, e una laurea magistrale con lode in Informatica e Networking (2016) presso la stessa universit\u00e0 e la Scuola Superiore Sant'Anna. I suoi attuali interessi di ricerca includono i paradigmi di calcolo Cloud-IoT, la gestione sostenibile di applicazioni di prossima generazione e il ragionamento formale automatizzato. In questi ambiti, \u00e8 co-autore di oltre 80 pubblicazioni scientifiche su riviste e conferenze internazionali e ha partecipato a diversi progetti e gruppi di ricerca nazionali e internazionali. E' membro eletto della Commissione scientifica d\u2019area 01 (Scienze matematiche e informatiche) e delegato per le attivit\u00e0 di orientamento del Dipartimento di Informatica.<br \/>\r\n<br \/>\r\nStefano Forti is a tenure-track assistant professor at the Department of Computer Science, University of Pisa, Italy, since 2024. He holds a PhD degree cum laude in Computer Science (2020) from the University of Pisa, and an MSc cum laude in Computer Science and Networking (2016) from the same university and the Sant'Anna School of Advanced Studies, Pisa, Italy. His current research interests include Cloud-IoT computing paradigms, green and sustainable application management and formal automated reasoning.In these areas, he has co-authored more than 80 scientific publications in international journals and conferences, and has participated in several national and international research projects and groups. He serves as elected member of the Scientific Committee for Area 01 (Mathematics and Computer Science) and as delegate for orientation activities at the Department of Computer Science.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"","unipi-persone-luogo-ricevimento":"Da concordare via email: online o in presenza (Studio 279\/DE, Dipartimento di Informatica)","unipi-persone-ore-ricevimento":"Marted\u00ec 14.00-15.30       Tuesday 14.00-15.30\nSi prega di inviare un messaggio al docente per definire la modalit\u00e0 del ricevimento (online\/in presenza) .\nPlease send an email to the instructor to define the question time mode (online\/in presence).","unipi-persone-telefono":"0502212759","unipi-persone-sitoweb":"http:\/\/pages.di.unipi.it\/forti\/","unipi-persone-cariche":"","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=019581","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=019581&tmplt=principale.tpl","unipi-persone-settore-scientifico":"Informatica INFO-01\/A","unipi-persone-ruolo":"Ricercatore a tempo determinato L.240\/2010 ","unipi-persone-arpi":"https:\/\/arpi.unipi.it\/cris\/rp\/rp04165","unipi-persone-pubblicazioni":"<ul class=\"pubblicazioni-list\"><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1353007\" target=\"_blank\" rel=\"noopener noreferrer\">Declarative traffic engineering for Low-Latency and reliable networking<\/a> <span class=\"pub-details\">(Massa, Jacopo; Forti, Stefano; Paganelli, Federica; Dazzi, Patrizio; Brogi, Antonio; Clemm, Alexander; Eckert, Toerless - 2026 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1344451\" target=\"_blank\" rel=\"noopener noreferrer\">ECLYPSE: A Python Framework for Simulation and Emulation of the Cloud-Edge Continuum<\/a> <span class=\"pub-details\">(Massa, Jacopo; De&nbsp;, ; Caro, Valerio; Forti, Stefano; Dazzi, Patrizio; Bacciu, Davide; Brogi, Antonio - 2026 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1331510\" target=\"_blank\" rel=\"noopener noreferrer\">Carbon-Aware Software Services<\/a> <span class=\"pub-details\">(Forti, Stefano; Soldani, Jacopo; Brogi, Antonio - 2025 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1331499\" target=\"_blank\" rel=\"noopener noreferrer\">Combining Declarative and Linear Programming for Application Management in the Cloud-Edge Continuum<\/a> <span class=\"pub-details\">(Massa, Jacopo; Forti, Stefano; Dazzi, Patrizio; Brogi, Antonio - 2025 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1323107\" target=\"_blank\" rel=\"noopener noreferrer\">Application Placement with Constraint Relaxation<\/a> <span class=\"pub-details\">(Azzolini, Damiano; Duca, Marco; Gallo, Francesco; Ielo, Antonio; Forti, Stefano - 2025 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1320148\" target=\"_blank\" rel=\"noopener noreferrer\">A Constraint-Based Approach to Optimise QoS- and Energy-Aware Cloud-Edge Application Deployments<\/a> <span class=\"pub-details\">(Gazza, Simone; Amadini, Roberto; Brogi, Antonio; D&#039;Iapico, Andrea; Forti, Stefano; Giallorenzo, Saverio; Plebani, Pierluigi; Ponce, Francisco; Soldani, Jacopo; Vitali, Monica; Zavattaro, Gianluigi - 2025 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1320147\" target=\"_blank\" rel=\"noopener noreferrer\">Continuous reasoning for adaptive container image distribution in the cloud\u2013edge continuum<\/a> <span class=\"pub-details\">(Azzolini, Damiano; Forti, Stefano; Ielo, Antonio - 2025 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1308007\" target=\"_blank\" rel=\"noopener noreferrer\">Carbon-Efficient Software Design and Development: A Systematic Literature Review<\/a> <span class=\"pub-details\">(Danushi, Ornela; Forti, Stefano; Soldani, Jacopo - 2025 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1335247\" target=\"_blank\" rel=\"noopener noreferrer\">Declarative application management with Kubernetes<\/a> <span class=\"pub-details\">(Forti, Stefano; Rontani, Alessandro; Aliprandi, Carlo; Frattini, Giovanni; Gagliardi, Simone; Volpini, Marco; Brogi, Antonio - 2025 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1331691\" target=\"_blank\" rel=\"noopener noreferrer\">Towards Declarative Traffic Engineering for\u00a0Guaranteed Latency-Based Forwarding<\/a> <span class=\"pub-details\">(Massa, Jacopo; Forti, Stefano; Paganelli, Federica; Dazzi, Patrizio; Brogi, Antonio; Clemm, Alexander; Eckert, Toerless - 2025 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1331511\" target=\"_blank\" rel=\"noopener noreferrer\">Enhancing Failure Resilience of\u00a0Cloud-Edge Microservices: The FREEDA Approach<\/a> <span class=\"pub-details\">(Ponce, F.; Forti, S.; Soldani, J.; Brogi, A. - 2025 - 4.1 Contributo in Atti di convegno)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1261067\" target=\"_blank\" rel=\"noopener noreferrer\">Multi-Layered Continuous Reasoning for Cloud-IoT Application Management<\/a> <span class=\"pub-details\">(Herrera, Juan Luis; Berrocal, Javier; Forti, Stefano; Brogi, Antonio; Murillo, Juan Manuel - 2024 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1175247\" target=\"_blank\" rel=\"noopener noreferrer\">Assessing and enhancing a Cloud-IoT monitoring service over federated testbeds<\/a> <span class=\"pub-details\">(Gaglianese, M.; Forti, S.; Paganelli, F.; Brogi, A. - 2023 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/1066030\" target=\"_blank\" rel=\"noopener noreferrer\">Secure Cloud-Edge Deployments, with Trust<\/a> <span class=\"pub-details\">(Forti, S.; Ferrari, G. -L.; Brogi, A. - 2020 - 1.1 Articolo in rivista)<\/span><\/li><li><a href=\"https:\/\/arpi.unipi.it\/handle\/11568\/843969\" target=\"_blank\" rel=\"noopener noreferrer\">QoS-aware Deployment of IoT Applications Through the Fog<\/a> <span class=\"pub-details\">(Brogi, Antonio; Forti, Stefano - 2017 - 1.1 Articolo in rivista)<\/span><\/li><\/ul>","unipi-persone-didattica":"<ul class=\"registri-list\"><li>Reti - corso b (modulo dell'insegnamento reti e laboratorio iii cod. 736aa) per Laurea in Informatica<\/li><li>Green computing (cod. 792AA) per Laurea in Informatica<\/li><\/ul>","unipi-persone-codocenze":"","unipi-persone-interessi-ricerca":"Stefano Forti is a tenure-track researcher at the Department of Computer Science, University of Pisa, Italy. He is a member of the <em>Service-Oriented, Cloud and Fog Computing<\/em> research group and the <em>Pervasive AI Lab<\/em>. His scientific interests include cloud-edge computing paradigms, secure software engineering, sustainable computing, and automated reasoning.&nbsp;","_wpml_word_count":"14","_last_translation_edit_mode":"translation-editor","_elementor_page_assets":[]},"organizzazioni":[11455],"class_list":["post-147419","unipi_persone","type-unipi_persone","status-publish","hentry","organizzazioni-dipartimento-di-informatica-489999-en"],"email":"stefano.forti@unipi.it","telefono":"0502212759","content_plain":"Ricercatore a tempo determinato L.240\/2010  &#8211; Dipartimento di Informatica | Tel.: 0502212759 &#8211; Email: stefano.forti@unipi.it","photo_url":null,"ruoli_tags":[{"id":766,"name":"RD","slug":"rd"}],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v28.1 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Stefano Forti ~ 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=\"Stefano Forti ~ UNIPI\" \/>\n<meta property=\"og:description\" content=\"Ricercatore a tempo determinato L.240\/2010 &#8211; Dipartimento di Informatica | Tel.: 0502212759 &#8211; Email: stefano.forti@unipi.it\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/stefano-forti-147669-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:49+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\\\/stefano-forti-147669-en\\\/\",\"url\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/abous-us\\\/organization\\\/people\\\/stefano-forti-147669-en\\\/\",\"name\":\"Stefano Forti ~ UNIPI\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/#website\"},\"datePublished\":\"2025-05-12T14:02:17+00:00\",\"dateModified\":\"2026-03-31T12:42:49+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/abous-us\\\/organization\\\/people\\\/stefano-forti-147669-en\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/abous-us\\\/organization\\\/people\\\/stefano-forti-147669-en\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/abous-us\\\/organization\\\/people\\\/stefano-forti-147669-en\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\",\"item\":\"https:\\\/\\\/www-test.unipi.it\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Stefano Forti\"}]},{\"@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":"Stefano Forti ~ 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":"Stefano Forti ~ UNIPI","og_description":"Ricercatore a tempo determinato L.240\/2010 &#8211; Dipartimento di Informatica | Tel.: 0502212759 &#8211; Email: stefano.forti@unipi.it","og_url":"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/stefano-forti-147669-en\/","og_site_name":"UNIPI","article_publisher":"https:\/\/www.facebook.com\/unipisaofficial\/","article_modified_time":"2026-03-31T12:42:49+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\/stefano-forti-147669-en\/","url":"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/stefano-forti-147669-en\/","name":"Stefano Forti ~ UNIPI","isPartOf":{"@id":"https:\/\/www-test.unipi.it\/en\/#website"},"datePublished":"2025-05-12T14:02:17+00:00","dateModified":"2026-03-31T12:42:49+00:00","breadcrumb":{"@id":"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/stefano-forti-147669-en\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/stefano-forti-147669-en\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www-test.unipi.it\/en\/abous-us\/organization\/people\/stefano-forti-147669-en\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"","item":"https:\/\/www-test.unipi.it\/en\/"},{"@type":"ListItem","position":2,"name":"Stefano Forti"}]},{"@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\/147419","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=147419"}],"wp:term":[{"taxonomy":"organizzazioni","embeddable":true,"href":"https:\/\/www-test.unipi.it\/en\/wp-json\/wp\/v2\/organizzazioni?post=147419"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}