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.
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
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.
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!
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.
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!
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.