Metodi formali dell’Informatica

Lunedì 16 marzo alle 11, nell'aula 23 del Dipartimento di Matematica e Informatica, si svolge il seminario "Metodi formali dell’Informatica", relatore Franco Barbanera, terzo incontro del ciclo di seminari "Prospettive Informatiche - Competenze per la ricerca e l’innovazione".

Il tema

Come si dimostra che un software fa davvero ciò che promette? Dalle logiche ai modelli, fino alla verifica di proprietà: un assaggio degli strumenti formali che rendono sistemi e algoritmi più affidabili, sicuri e “a prova di bug”.

Il ciclo di seminari

"Prospettive Informatiche" è un ciclo di seminari promosso dal Corso di Laurea Magistrale in Informatica dell’Università di Catania, giunto alla sua terza edizione, con l’obiettivo di guidare gli studenti nell’esplorazione delle principali direttrici dell’Informatica contemporanea. Il percorso riflette l’offerta formativa del Corso di Studi, articolata in sei curricula altamente specializzati, e affronta temi di grande attualità quali intelligenza artificiale, machine learning, sistemi distribuiti e cloud, calcolo ad alte prestazioni e quantum computing, computer vision, sicurezza informatica e health informatics. Rivolti in particolare agli studenti dei corsi di laurea triennale, i seminari offrono un’occasione di orientamento consapevole verso il percorso magistrale, favorendo il confronto diretto con i docenti e con esempi concreti di ricerca e applicazione. La partecipazione attiva al ciclo consente inoltre agli studenti L-31 di ottenere un attestato valido per il riconoscimento di 3 CFU nell’ambito del tirocinio formativo, al raggiungimento dei requisiti previsti.

(16 marzo 2026)