The Data Science and Automatic Verification Laboratory at the University of Udine, headed by Prof. Angelo Montanari, conducts research on theoretical and applied aspects of Computer Science and Artificial Intelligence, with a particular emphasis on the cross-contamination between machine learning and formal methods and on the contemporary themes of neuro-symbolic A.I. and symbolic / sub-symbolic A.I. integration. The laboratory members have also a strong theoretical and practical knowledge of enterprise information systems and of the whole data science pipeline.
The projects the lab members are involved in are made in cooperation with local, national, and international partners and span several application domains, including positioning systems, healthcare and industry, with a deep focus on the interpretability.