Linguaggi di programmazione
Persone
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
parole chiave:
sistemi distribuiti, pervasive computing, Internet of Things, paradigmi di programmazione
Claudio Sacerdoti Coen
Professore associato
parole chiave:
Teoria dei tipi, Dimostrazione assistita, Mathematical knowledge management, Lambda-calcolo, Linguaggi di
Leggi di più
parole chiave:
Pervasive Computing, Ingegneria del Software, Mixed Reality, Multi-Agent Systems (MAS), Internet-of-Things (IoT), Smart
Leggi di più
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
Leggi di più
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,
Leggi di più
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
Leggi di più
parole chiave:
Didattica dell'informatica, Pensiero computazionale, Growth mindset informatico, Transfer dell'apprendimento,
Leggi di più
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
Leggi di più
Danilo Pianini
Ricercatore a tempo determinato tipo a) (junior)
parole chiave:
simulazione, programmazione aggregata, Internet of Things, auto-organizzazione, sistemi complessi, biomimesi
Marco Sbaraglia
Dottorando
parole chiave:
Didattica dell'informatica, Pensiero computazionale, Informatica creativa, Transfer dell'apprendimento
parole chiave:
Industry 4.0, Cloud Computing, Fog Computing, Multi-access Edge Computing, Internet of Things, Crowdsensing, Big Data
parole chiave:
lambda calcolo, semantica dei linguaggi di programmazione, macchine astratte, logica in informatica
Mirko Viroli
Professore ordinario
parole chiave:
Linguaggi orientati agli oggetti, Sistemi multiagente, Simulazione e verifica, Coordinazione, Ingegneria del software,
Leggi di più
parole chiave:
Machine Learning, Microservices, Internet of Things