ACLAI Lab, part of the Mathematics and Computer Science Department at the University of Ferrara, focuses on studying, 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.

Team

Image Description

Prof. Guido Sciavicco

ASSOCIATE PROFESSOR

Image Description

Dr. Giacomo Piva

ADJUNCT PROFESSOR

Image Description

Dr. Ionel Eduard Stan

PHD STUDENT

Image Description

Dr. Giovanni Pagliarini

PHD STUDENT

Image Description

Federico Manzella

STUDENT

Projects

Research

ACLAI promotes an 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 Bachelor Degree in Computer Science within the University of Ferrara, in particular, includes 21 ECTS credits (12+9) for internship and final project; students joining the undergraduate research initiative spend this amount of credits at the ACLAI laboratory, enjoy the possibility of studying extra-curricular 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. Luigi Grossi
  • Dr. Federico Bulzoni
  • Dr. Elisabetta Gentili
  • Dr. Arianna Soriani
  • Dr. Andrea Bercè
  • Dr. Alberto Paparella
  • Dr. Gabriele Spina
  • Dr. Federico Vancini