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 Alberto Molinari (LinkedIn, personal website) Andrea Viel
