The ACLAI - Lab, part of Mathematics and Computer Science department of the University of Ferrara, focuses on stuying, designing, and delivering artificial intelligence applications. Our research is focused on the edge between logic and AI, and our primary objective is to design mathematically sound and formally certified tools. We are also members of the OVERLAY research group.

• Prof. Guido Sciavicco (responsible of ACLAI - Lab)

• Dr. Giacomo Piva

• Dr. Estrella Lucena Sanchez (phd student at UNIFE)

• Dr. Eduard Stan (phd student at UNIFE)

• Dr. Giovanni Pagliarini (phd student at UNIFE)

• Geochemical fingerprinting of food products and water resources. We study, design, and implement protocols for geochemical fingerprinting based on physical, chemical, and isotopic data. We work with the Department of Physics and Earth Sciences of the University of Ferrara, the University of Còrdoba (Còrdoba, Spain), and the Ayesa Foundation (Sevilla, Spain)

• Medical data managing and decision support system. In collaboration with the Research Center for the Study of Menopause and Osteoporosis of the University of Ferrara, we are designing and maintaining a data processing center equipped with a innovative decision support system.

• Time series classification. We design and study new time series classification methods using symbolic, temporal-logic based knowledge extraction methods. At the moment, we are applying our techniques to many problems; among them, we work with Siemens Europa, and we are trying to build systems that allow one to predict the need of maintenance of gas turbines.

• Images classification. We are studying novel techniques for images classification, based on symbolic, spatial-logic knowledge extraction techniques.

• Medical document classification and information extraction. This project, currently at the pre-design level, aims to build a system which, based on textual artificial intelligence, is able to help a medical doctor to identify, classify, and extract information from publicily available medical research papers. For this project, we collaborate with the Department of Translational Medicine and for Romagna of the University of Ferrara.

• Open data for everyone. This project, currently at the pre-design level, has the objective of offering a middle level between the administrative and economical Italian open data sources and the final user. We are realizing this idea in collaboration with the Department of Economics and Management of the University of Ferrara.

ACLAI - Lab promotes a undergraduate research initiative for mathematics and computer science students. The purpose of this initiative is to stimulate undergraduate students to start their research career and enrich their curricula with conference and journal publications. The computer science course within the University of Ferrara, in particular, requires 21 ECTS credits (15+6) for trainership and final project; students joining the undegraduate research initiative spend this amount of credits in the ACLAI - Lab, enjoy the possibility of studying extra-curricula topics, and, in some cases, publish early-stage theoretical and implementation results. Current and past students that have joined the program are:

• Dr. Davide Orsini

• Dr. Alan Bimbati

• Dr. Enrico Cominato

• Dr. Luigi Grossi

• Dr. Eduard Stan

• Dr. Federico Bulzoni

• Dr. Simone Gnani

• Dr. Alessia Paoletti

• Dr. Alessandro Passantino

• Dr. Elisabetta Gentili

• Dr. Alessandro Vaccari

• Dr. Maxim Nitsenko

• Dr. Stefano Trevisani

• Mr. Federico Manzella

At the moment, we accept students for their trainiership period to join our group and work in any of our current projects. More theoretical areas are also covered within the laboratory; these may be suitable for computer science students well-versed in more theoretical aspects of the discipline, and for mathematics students.