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. Prof. Guido Sciavicco, head of ACLAI Lab, is associate professor of Computer Science at the University of
Ferrara, and (co)-authored more than 140 papers on logic, artificial intelligence, and applications, published in international conference proceedings and journals.
