Docenti e ricercatori

foto della persona

Davide Rossi

Ricercatore confermato

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

Paola Salomoni

Professoressa ordinaria

parole chiave: inclusive e-Learning, CSCW, crowdsensing, crowdsourcing, accessible smart city

Samuele Salti

Professore associato

parole chiave: Computer Vision, Deep Learning, Machine Learning, Telematica
foto della persona

Davide Sangiorgi

Professore ordinario

parole chiave: linguaggi di programmazione, concurrenza, sistemi di tipi, induzione e coinduzione
foto della persona

Claudio Sartori

Professore ordinario

parole chiave: Data mining, Machine learning, Big data analytics, Data science
foto della persona

Giuseppe Tagliavini

Ricercatore a tempo determinato tipo a) (junior)

foto della persona

Paolo Torroni

Professore associato

parole chiave: identificazione di strutture argomentative, protocolli di interazione, sistemi multi-agente, simulazione ad agenti,
foto della persona

Angelo Troina

Ricercatore confermato

foto della persona

Angelo Trotta

Ricercatore a tempo determinato tipo a) (junior)

foto della persona

Mirko Viroli

Professore ordinario

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

Fabio Vitali

Professore ordinario

parole chiave: linguaggi di markup, editoria digitale, sistemi ipertestuali, formati documentali, Explainable Artificial Intelligence,
foto della persona

Gianluigi Zavattaro

Professore ordinario