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!
Here's our latest news
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).
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!
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!
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.
On January 27th at 11am the first of a series of three seminars on the topic "Topic Modeling" organized by the Data Science and Automatic Verification Laboratory will be held electronically on the Teams platform.
The presenter will be Federico Bulzoni, graduate student of University of Udine's course in Computer Science.
In the extended article it is possible to find the details related to the individual meetings and the link to participate in them.
Recently, the work "Machine learning-assisted environmental surveillance of Legionella: A retrospective observational study in Friuli-Venezia Giulia region of Italy in the period 2002-2019" co-authored by staff from the Data Science and Automatic Verification Laboratory, the Department of Agricultural, Food, Environmental and Animal Sciences of the University of Udine, and ARPA FVG, has been endorsed by an article on Sistema Nazionale per la Protezione dell'Ambiente.
The publication of the scientific study is the latest fruit of the productive collaboration between Arpa FVG and the University of Udine, which continues with increasingly ambitious goals.
Read more: DS LAB on Sistema Nazionale per la Protezione dell'Ambiente