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
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

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

Dottorando

Assegnista di ricerca

parole chiave: Industry 4.0 / 5.0, Cloud Computing, Edge Computing, Industrial IoT, Crowdsensing

Gabriele Vanoni

Dottorando

Tutor didattico

parole chiave: lambda calcolo, semantica dei linguaggi di programmazione, macchine astratte, logica in informatica
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

Assegnista di ricerca

Tutor didattico

parole chiave: Machine Learning, Microservices, Internet of Things