Linguaggi di programmazione

Nell'ambito dei linguaggi di programmazione, il DISI è impegnato su numerosi fronti. Ad esempio, i linguaggi per l'intelligenza artificiale sono tipicamente basati su paradigmi di programmazione dichiarativi che includono meccanismi di prima classe per la computazione simbolica e costrutti per la prototipazione rapida. Inoltre, il DISI è attivo nella ricerca su linguaggi a vincoli e paradigmi di computazione basati su constraint satisfaction/optimization che includono sempre più lo sviluppo di paradigmi ibridi che affianchino le classiche tecniche di intelligenza artificiale a tecniche di programmazione matematica e ricerca operativa. Inoltre una intensa attività di ricerca riguarda la programmazione orientata agli agenti, studiata come un paradigma di programmazione di alto livello per la progettazione e realizzazione di sistemi concorrenti e distribuiti, come una evoluzione concettuale della programmazione concorrente a oggetti e della programmazione basata su attori. Dal punto di vista fondazionale, si utilizzano modelli matematici quali il lambda-calcolo o i calcoli di processi al fine di sviluppare teorie generalmente applicabili ai linguaggi di programmazione.

Persone

Gianluca Aguzzi

Dottorando

Tutor didattico

parole chiave: pervasive computing, artificial intelligence, sistemi distribuiti, apprendimento multi agente, paradigmi di

Roberto Amadini

Professore associato

parole chiave: Artificial Intelligence, Constraint Programming, Combinatorial Optimization, Algorithms Portfolio, Software Verification

Melissa Antonelli

Dottoranda

Tutor didattico

parole chiave: Fondamenti logici dell'informatica, Teoria della dimostrazione, Linguaggi di programmazione

Lorenzo Bacchiani

Dottorando

Tutor didattico

parole chiave: Microservizi, Sistemi Distribuiti, Adattabilità Dinamica, Linguaggi di Programmazione

Roberto Casadei

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: intelligenza artificiale, paradigmi di programmazione, sistemi collettivi, sistemi distribuiti, pervasive computing,

Anna Ciampolini

Professoressa ordinaria

parole chiave: intelligenza artificiale, sistemi cloud, agenti intelligenti, calcolo ad alte prestazioni, virtualizzazione di sistemi

Andrea Colledan

Dottorando

Tutor didattico

parole chiave: Lambda calcolo, Linguaggi di programmazione quantistici, Semantica operazionale, Verifica di risorse

Ugo Dal Lago

Professore ordinario

parole chiave: Semantica Differenziale dei Programmi, Computazione Quantistica, Crittografia, Analisi Statica dei Programmi

Enrico Denti

Professore associato confermato

parole chiave: Sistemi multi-agente, Linguaggi di programmazione, Ingegneria del software orientata agli agenti, Infrastrutture

Maurizio Gabbrielli

Professore ordinario

parole chiave: Linguaggi di programmazione, Constraint programming, Intelligenza aritificiale

Saverio Giallorenzo

Ricercatore a tempo determinato tipo a) (junior)

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

Pietro Lami

Dottorando

parole chiave: Semantica operazionale, Linguaggi reversibili

Ivan Lanese

Professore associato

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

Cosimo Laneve

Professore ordinario

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

Simone Martini

Professore ordinario

parole chiave: Linguaggi di programmazione, Storia e filosofia dell'informatica, Didattica dell'informatica, Logica lineare

Andrea Omicini

Professore ordinario

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

Danilo Pianini

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: simulazione, programmazione aggregata, Internet of Things, auto-organizzazione, sistemi complessi, biomimesi

Claudio Sacerdoti Coen

Professore associato

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

Marco Sbaraglia

Dottorando

Tutor didattico

parole chiave: Didattica dell'informatica, Learning design per l'informatica, Apprendimento della programmazione di base, Macchine

parole chiave: Apprendimento automatico, Microservizi, Intelligenza artificiale, Dispersione scolastica

Linguaggi di programmazione

Persone

Gianluca Aguzzi

Roberto Amadini

Melissa Antonelli

Lorenzo Bacchiani

Roberto Casadei

Anna Ciampolini

Andrea Colledan

Ugo Dal Lago

Enrico Denti

Maurizio Gabbrielli

Saverio Giallorenzo

Pietro Lami

Ivan Lanese

Cosimo Laneve

Simone Martini

Andrea Omicini

Danilo Pianini

Claudio Sacerdoti Coen

Marco Sbaraglia

Michele Solimando

Giancarlo Succi

Mirko Viroli

Stefano Pio Zingaro