People

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/theory,
Sports analytics, Predictive
models, Time series analysis

Dario
Della Monica
Associate Professor
Logic in CS, Formal methods,
Knowledge rep. and reasoning,
Symbolic artificial intelligence

Luca
Geatti
Assistant Professor
Formal methods, Temporal
logics, Artificial intelligence,
Logic in computer science

Nicola
Vitacolonna
Assistant Professor
Database design, Bioinformatics,
Logical combinatorial games,
Interval temporal logics

Nicola
Saccomanno
Postdoc Research Fellow
Positioning systems,
Neurosymbolic AI, Machine and Deep learning, AI for healthcare

Alberto
Marturano
Ph.D. Student
Positioning systems,
Data science,
Big data

Andrea
Dalla Torre
Senior Engineer, u-blox
Cellular positioning, Indoor
positioning, Outdoor positioning,
Sensor engineering

Nicola
Gigante
Assistant Professor, UniBZ
Formal methods,
Temporal logics, Artificial
intelligence, Logic in CS

Alessandro
Locaputo
Ph.D. Student, UniUD - AILab
Deep Learning,
Digital Humanities,
Natural Language Processing

Enrico
Marzano
CIO, Gap Srlu
Data warehousing and integration,
Decision support systems,
Analytics & A.I. applications