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

09 August 2022

We are very happy to congratulate our Lab member Andrea Brunello that will take up the position of assistant professor (tenure-track) at the University of Udine from September! He will continue to contribute with his research within the Data Science and Automatic Verification Laboratory, also with respect to the Digital Humanities domain. Good luck with your new role, and best wishes!

05 July 2022

On 7th July 2022 at 9pm, Dr. Andrea Brunello, member of our lab, will hold a seminar entitled "Artificial Intelligence: Past, Present and Future" / "Intelligenza Artificiale tra Passato, Presente e Futuro", at the civic library of Cordovado (PN).

29 June 2022

We are thrilled to announce that the next fall the University of Udine is going to host the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022)! Our laboratory is providing its support for the organisation of the event. Browse to the official website of the Conference for more information!

23 June 2022

Interested in pursuing a PhD in data science, artificial intelligence or formal methods? At the Computer Science dept. of Università degli Studi di Udine, several positions are available! Are you more keen of industrial-oriented research? Within our lab, we have many industrial PhD opportunities, too.  Drop us an email for more information!

12 March 2022

Many congratulations to our lab member Dr. Luca Geatti who successfully defended his PhD thesis (cum laude) entitled "Temporal Logics Specifications: Expressiveness, Satisfiability and Realizability". Luca is now a postdoctoral research fellow in the department of Computer Science at the Free University of Bozen/Bolzano.