Future Built on Knowledge

Paolo Traverso

Director of the ICT Center at FBK,a research center of about 200 researchers and developers working on engineering, content, and interaction. His main research interests are in Software and Services, Artificial Intelligence, Automated Planning, and the Automated Verification and Synthesis of software systems. He contributed to research in automated planning with a novel technique called “planning as model checking”, which is now the basis for his work on supporting the automated composition and run-time monitoring of service oriented applications. He has been involved and has been leading several research and industrial projects in the sector of safety critical systems and embedded controllers.
Personal page


Spotlight's articles