Linguaggi di programmazione

Dagli aspetti fondazionali dei linguaggi di programmazione, basati su modelli matematici e logici, ai diversi paradigmi per progettare e realizzare sistemi software.

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

foto della persona

Roberto Amadini

Professore associato

foto della persona

Lorenzo Bacchiani

Assegnista di ricerca

Tutor didattico

foto della persona

Roberto Casadei

Ricercatore a tempo determinato tipo b) (senior)

foto della persona

Anna Ciampolini

Professoressa ordinaria

foto della persona

Angela Cortecchia

Dottoranda

Tutor didattico

foto della persona

Ugo Dal Lago

Professore ordinario

foto della persona

Enrico Denti

Professore associato confermato

foto della persona

Maurizio Gabbrielli

Professore ordinario

foto della persona

Simone Gazza

Dottorando

Tutor didattico

foto della persona

Saverio Giallorenzo

Ricercatore in Tenure Track L. 79/2022

foto della persona

Roberto Gorrieri

Professore ordinario

Özlem Kaya

Dottoranda

foto della persona

Ivan Lanese

Professore associato

foto della persona

Cosimo Laneve

Professore ordinario

foto della persona

Simone Martini

Professore ordinario

foto della persona

Ghulam Mustafa

Dottorando

foto della persona

Andrea Omicini

Professore ordinario

Luca Padovani

Professore ordinario

foto della persona

Danilo Pianini

Professore associato

foto della persona

Francesco Pivi

Dottorando

Tutor didattico

foto della persona

Claudio Sacerdoti Coen

Professore associato

foto della persona

Davide Sangiorgi

Professore ordinario

foto della persona

Domenico Scotece

Ricercatore a tempo determinato tipo a) (junior)

foto della persona

Giancarlo Succi

Professore ordinario

foto della persona

Mirko Viroli

Professore ordinario