Adolfo Villafiorita, PhD, graduated at the University of Genova in 1993 and got his PhD from the University of Ancona in “Artificial Intelligent Systems” in 1997.
Visiting scholar of the AI Department of the University of Edinburgh in 1992 and of the Formal Reasoning Group at Stanford in 1995, he is a Senior Researcher at Fondazione Bruno Kessler, where he leads the ICT4G unit.
He has worked and led various industrial and technology transfer projects related to the verification of safety critical systems.
He is also a contract professor at the University of Trento, where he taught Software Engineering and, from 2004, Software Project Management.
You can contact me!