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 several industrial and technology transfer projects related to the verification of safety critical systems.
He was also a contract professor at the University of Trento, where he taught Software Engineering and Software Project Management for nearly twenty years.
More Information can be found on Adolfo's homepage.