- Artificial Intelligence
- Automated Planning
- Software Services
- Automated Verification and Synthesis of software systems
Paolo Traverso is the Director of the Center for Information Technology – IRST (FBK-ICT) at Fondazione Bruno Kessler, a research center of about 200 researchers and developers working on Artificial Intelligence, Data Science, Security and Safety, Software Quality. Since February 2017 Paolo Traverso has been appointed as Chair of the Node Strategy Committee of the Italian node of EIT Digital, EIT Digital Italy
EIT DIGITAL (formerly EIT ICT Labs) is the European Institution of Innovation and Technology (EIT) in ICT, whose aim is to [ushresearch to the market.
His main research interests are in Artificial Intelligence, Automated Planning and Acting, Software Services and 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 was Program Chair of the International Conference on Automated Planning (ICAPS) and Area Chair for Planning and Control of the European Conference on Artificial Intelligence (ECAI 2002) in 2002, General and Program Chair of the International Conference on Service-Oriented Computing (ICSOC) in 2004 and 2005, Program Chair of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA), Area Chair for Distributed Systems of the European Conference on Artificial Intelligence (ECAI) in 2008, Program Chair of the First Future Internet Symposium (FIS 2008) in 2008, and Program Chair of the 6th European Semantic Web Conference (ESWC) in 2009. He served in the Senior Program Committee for ICAPS-2010, 20th International Conference on Automated Planning and Scheduling, in the Advisory Board of IJCAI’11 – the 22nd International Joint Conference on Artificial Intelligence, and Senior Program Committee member at IJCAI-ECAI 2018. He is the General Chair of the 17th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2018). In 2005, he was nominated EurAi/ECCAI fellow “for pioneering work in the field of Artificial Intelligence, and outstanding service to the AI community”.
Paolo Traverso has been involved and has been leading several research and industrial projects in the sector of safety critical systems and embedded controllers. In the area of Software and Services, he has been scientific coordinator of a rather large national basic research (FIRB) project – “Knowledge Level Automated Software engineering” (KLASE), he has been responsible at FBK for the VII Framework European Project Empowering the Service Economy with Service Level Agreements – aware Infrastructures SLA@SOI, and he is a Steering Committee Member of the European Network of Excellence on Software, Systems and Services (S-Cube) , and he has been involved in the Future Emerging Technologies (FET) European Project on “Adaptable Pervasive Flows” (ALLOW). 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 was a member of the Steering Committee of the International Conference on Service Oriented Computing, and a member of the European Association for Artificial Intelligence – EurAi (formerly 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).
In addition to over one hundred published scientific papers – in refereed journals, books and conference proceedings – P. Traverso is also co-author of the following books:
- M. Ghallab, D. Nau, and P. Traverso. Automated Planning: Theory and Practice. Morgan Kaufmann/Elsevier, 2004. ISBN 1-55860-856-7. Chinese translation by Yunfei Jiang at Zhongshan University in Guangzhou, China
- M. Ghallab, D. Nau, and P. Traverso. Automated Planning and Acting. Cambridge University Press, 2016, ISBN 9781107037274. (PDF of manuscript posted by permission of Cambridge University Press. Users may download a copy for personal use only. NOT for distribution.)