The laboratory works on data science and automatic verification, with a particular emphasis on the cross-contamination and integration between the two areas. Our projects are made in cooperation with local, national, and international partners.


Data Science

(spatio-temporal) databases, data warehousing and decision support systems, data integration and migration, machine learning applied to (spatio-temporal) data, natural language processing and automatic speech recognition, traditional (GIS) and web-based (webGIS) geographic information systems, evolutionary algorithms 


Automatic Verification

temporal and spatial reasoning, model checking, monitoring, automata theory, formal methods, logics for artificial intelligence, workflows and planning

News

22 January 2021

At the end of the evaluation process of the industrial doctoral scholarships, the National Research Council (CNR) decided to finance the project presented by the Department of Mathematical, Computer and Physical Sciences of the University of Udine together with the MCZ Group, one of the main players in the biomass heating sector, based in Fontanafredda, in the province of Pordenone. The PhD scholarship will be added to the other scholarships offered by the new PhD in Computer Science and Artificial Intelligence of the Department of Mathematical, Computer and Physical Sciences of the University of Udine. The academic manager of the project is Agostino Dovier, full professor of Computer Science at the University of Friuli. The working group also includes prof. Angelo Montanari, dr. Amedeo Cesta and dr. Andrea Orlandini, the last two researchers of the Institute of Cognitive Sciences and Technologies of the CNR - Rome office.

16 October 2020

Many congratulations to Dr. Alberto Molinari, former member of the Laboratory, who received the PhD award prize for the year 2021! Best wishes and good luck with your research!

14 October 2020

Many new and exciting theses are available at our laboratory, with topics ranging from indoor positioning, to healthcare, and deep learning! Just browse to the theses section of the website, and contact one of the available members to set up an appointment.

01 October 2020

We are very happy to congratulate with our lab member Nicola Gigante who has won an assistant professor (non-tenure) position at the University of Bolzano! Good luck with your new role and best wishes!

26 March 2020

Thanks to the collaboration between our laboratory and the Silicon-Austria Labs, we offer the opportunity for a paid internship within a master thesis project on the topic of object recognition.