Paolo Traverso
Paolo Traverso is the Director of the Center for Information Technology - IRST at FBK, a center of about 200 researchers and developers working on engineering, content, and interaction.
His main research interests are in Software and Services, Artificial Intelligence, 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 in the Editorial Board of the Journal of Artificial Intelligence Research (JAIR), of the Journal of Applied Logic (JAL), of the International Journal of Cooperative Information Systems (IJCIS), and of the Electronic Transaction in Artificial Intelligence (ETAI). He is a member of the Steering Committee of the International Conference on Service Oriented Computing, and a Board member of the European Coordinating Committee in Artificial Intelligence (ECCAI). He was also member of the Executive Council of the International Conference on Automated Planning and Scheduling (ICAPS), and member of the Board of Directors of the Italian Association for Artificial Intelligence (AI*IA).
