Metodi formali

La ricerca sui metodi formali sfrutta tecniche matematiche per la progettazione, realizzazione e verifica di sistemi software, usualmente ad alta complessità o con requisiti di qualità particolarmente stringenti. Questa ricerca copre un ampio spettro di attività, che vanno da studi teorici sulle proprietà fondamentali della calcolabilità e dell'interazione a dimostratori di teoremi (anche interattivi, ovvero capaci di sviluppare dimostrazioni formali e verificabili automaticamente tramite collaborazione uomo-macchina), da modelli di sistemi concorrenti a modelli con ricche teorie matematiche con cui specificare e verificare proprietà salienti dei sistemi, quali assenza di deadlock, possibilmente tramite strumenti automatici o semi-automatici.
Il gruppo rappresenta una linea di ricerca dipartimentale articolata in più unità tematiche ciascuna della quali ha un responsabile specifico.

Persone

foto della persona

Claudio Sacerdoti Coen

Professore associato

parole chiave: Teoria dei tipi, Dimostrazione assistita, Mathematical knowledge management, Lambda-calcolo, Linguaggi di
foto della persona

Maurizio Gabbrielli

Professore ordinario

parole chiave: Linguaggi di programmazione, Constraint programming, Intelligenza aritificiale
foto della persona

Saverio Giallorenzo

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: Linguaggi di Programmazione, Algebre di Processi, Tipi Sessione, Programmazione Coreografica, Microservizi,
foto della persona

Ivan Lanese

Professore associato

parole chiave: Sessioni multiparty, Linguaggi reversibili, Calcoli di processi, Computazioni orientate ai servizi
foto della persona

Cosimo Laneve

Professore ordinario

parole chiave: linguaggi di programmazione, verifica statica di programmi, semantica dei linguaggi di programmazione, implementazione
foto della persona

Simone Martini

Professore ordinario

parole chiave: Complessità computazionale implicita, Tipi nei linguaggi di programmazione, Logica lineare, Linguaggi di
foto della persona

Andrea Omicini

Professore ordinario

parole chiave: simulazione, agenti intelligenti, linguaggi multiparadigma, sistemi autoorganizzanti, calcolo pervasivo, sistemi
foto della persona

Angelo Troina

Ricercatore confermato

parole chiave: Sistemi Concorrenti, Sistemi Probabilistici e Temporizzati, Fondamenti di Sicurezza, Biologia dei Sistemi

Gabriele Vanoni

Dottorando

Tutor didattico

parole chiave: lambda calcolo, semantica dei linguaggi di programmazione, macchine astratte, logica in informatica
foto della persona

Adele Veschetti

Dottoranda

Tutor didattico

parole chiave: formal methods, blockchain, smart contracts, formal analysis of blockchain and smart contracts
foto della persona

Mirko Viroli

Professore ordinario

Torna su