Angelo Montanari
FULL PROFESSOR - HEAD OF LAB
Logic in computer science - Formal methods - Databases - Artificial intelligence
Ruggero Bellio
FULL PROFESSOR
Statistical learning - Statistical computing - Statistical models
Paolo Vidoni
FULL PROFESSOR
Statistical learning - Statistical theory - Sports analytics - Predictive models - Time series analysis
Massimo Franceschet
ASSOCIATE PROFESSOR
Data science - Network science - Bibliometrics - Blockchain - Art analytics
Andrea Brunello
ASSISTANT PROFESSOR
Data warehousing - Machine learning - Deep learning - AI for healthcare - Evolutionary computation
Dario Della Monica
ASSISTANT PROFESSOR
Logic in computer science - Formal methods - Knowledge representation and reasoning - Artificial intelligence - Big data
Luca Grassetti
ASSISTANT PROFESSOR
Economic statistics - Statistical learning - Time series analysis - Panel data analysis - Health economics - Sports analytics
Gabriele Puppis
ASSISTANT PROFESSOR
Formal languages - Logics - Logical aspects in databases - Algebra
Nicola Vitacolonna
ASSISTANT PROFESSOR
Database design - Bioinformatics - Logical combinatorial games - Interval temporal logics
Paolo Gallo
RESEARCH FELLOW
Spatiotemporal databases - Positioning systems - GIS - Big data
Nicola Saccomanno
PH.D. STUDENT
Positioning systems - Big data - Machine learning - Deep learning - AI for healthcare
Andrea Urgolo
PH.D. STUDENT
Machine learning - Formal methods

Adjoint members
Nicola Gigante
ASSISTANT PROFESSOR @ UNIBZ
Formal methods - Temporal logics - Artificial intelligence - Logic in computer science
Luca Geatti
POSTDOC RESEARCHER @ UNIBZ
Formal methods - Temporal logics - Automata Theory - Automatic and Reactive synthesis
Donatella Gubiani
SOFTWARE DESIGNER @ INSIEL S.P.A.
Spatiotemporal databases - GIS
Enrico Marzano
CIO @ GAP S.R.L.U.
Data warehousing - Data integration - Decision support systems - Analytics & artificial intelligence applications
Pietro Sala
ASSISTANT PROFESSOR @ UNIVR
Model checking - Temporal logic - Temporal data mining in biomedical domains
Guido Sciavicco
ASSOCIATE PROFESSOR @ UNIFE
Machine learning - Logic in computer science - Formal methods - Temporal logic

Former members