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

foto della persona

Gianluca Aguzzi

Professore a contratto

Assegnista di ricerca

Tutor didattico

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

Roberto Amadini

Professore associato

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

Lorenzo Bacchiani

Dottorando

Assegnista di ricerca

Tutor didattico

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

Roberto Casadei

Ricercatore a tempo determinato tipo b) (senior)

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

Anna Ciampolini

Professoressa ordinaria

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

Andrea Colledan

Dottorando

Tutor didattico

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

Maichol Dadi

Assegnista di ricerca

parole chiave: deep learning, Visione artificiale, agritech, riconoscimento biometrico
foto della persona

Ugo Dal Lago

Professore ordinario

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

Enrico Denti

Professore associato confermato

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

Maurizio Gabbrielli

Professore ordinario

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

Saverio Giallorenzo

Ricercatore in Tenure Track L. 79/2022

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

Roberto Gorrieri

Professore ordinario

parole chiave: Modelli per la descrizione di sistemi concorrenti, Algebre di Processi e Reti di Petri, Sicurezza, Computazione

Özlem Kaya

Dottoranda

foto della persona

Pietro Lami

Dottorando

Tutor didattico

parole chiave: Semantica operazionale, Linguaggi reversibili, Metodi Formali, Reversibilità Computazionale
foto della persona

Ivan Lanese

Professore associato

parole chiave: Computazione quantistica, Linguaggi reversibili, Sessioni multiparty, 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: Linguaggi di programmazione, Storia e filosofia dell'informatica, Didattica dell'informatica, Logica lineare
foto della persona

Andrea Omicini

Professore ordinario

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

Luca Padovani

Professore ordinario

foto della persona

Danilo Pianini

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: simulazione, programmazione aggregata, Internet of Things, auto-organizzazione, sistemi complessi, biomimesi
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

Domenico Scotece

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: Fog Computing, Cloud Computing, IoT, Mobile Edge Computing, Mobile Cloud Computing, Wireless Network, Software Defined
foto della persona

Giancarlo Succi

Professore ordinario

parole chiave: Ingegneria del software empirica, agile methods, open source, metriche software, applicazioni dell'intelligenza
foto della persona

Mirko Viroli

Professore ordinario

parole chiave: Linguaggi orientati agli oggetti, Sistemi multiagente, Simulazione e verifica, Coordinazione, Ingegneria del software,

Stefano Pio Zingaro

Ricercatore a tempo determinato tipo a) (junior)

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