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

Dottorando

Tutor didattico

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

Roberto Amadini

Ricercatore a tempo determinato tipo b) (senior)

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
foto della persona

Lorenzo Bacchiani

Dottorando

Tutor didattico

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

Roberto Casadei

Ricercatore a tempo determinato tipo a) (junior)

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, elaborazione di big data,
foto della persona

Andrea Colledan

Dottorando

Tutor didattico

parole chiave: Lambda calcolo, Linguaggi di programmazione quantistici, Semantica operazionale, Verifica di risorse
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 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

Michael Lodi

Professore a contratto

Assegnista di ricerca

Tutor didattico

parole chiave: Didattica dell'informatica, Pensiero computazionale, Growth mindset informatico, Transfer dell'apprendimento,
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
foto della persona

Danilo Pianini

Ricercatore a tempo determinato tipo a) (junior)

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

Marco Sbaraglia

Dottorando

Tutor didattico

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

Michele Solimando

Assegnista di ricerca

parole chiave: Industry 4.0 / 5.0, Cloud Computing, Edge Computing, Industrial IoT, Crowdsensing
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,