UniversitaDiTrentoThe University of Trento ranks consistently among the top Italian universities in recent CENSIS surveys. It is also one of the most international Universities in Europe, with a large number of joint degrees in all disciplines with counterparts Austria, France and Germany. Since 2012 the University of Trento is (through the research node TrentoRISE) a core partner of the European Institute of Innovation and Technology. TrentoRISE is the national reference point for startups in the ICT field. It supplies entrepreneurial information, acceleration and incubation services, networking, and knowledge transfer from research labs to businesses. This is achieved through strategic cooperation with other stakeholders within the Province, domestic and European Venture Capitalists, and Business Angels. The Department of Information Engineering and Computer Science (DISI) covers all the main topics of information technology and engineering but it also has a strong focus on maintaining the optimal balance between individual disciplines and broad interdisciplinary areas. Throughout the past decade, the Department has expanded to more than 50 faculty members working in key research areas of Informatics, Telecommunications and Electronics. It has more than 100 research and technical staff members and more than 200 doctoral students. Faculty members are highly productive researchers and international leaders in their respective fields. Research conducted at DISI frequently receives coverage on national and international popular media and it has impact both in the research community and at the industrial, economic and societal level. It relies on the complementary skills of different academic areas in order to develop innovative methods, technologies, applications and advanced services. The highly integrated internationally collaborative research has three main targets: frontier research, knowledge transfer, and technology transfer. In the last years the department has raised a number of EU and national research projects and a number of industrial projects.
Related with VisiON project, the UNITN team will be composed of members of two research groups. The Software Engineering, Formal Methods and Security group with competence in the area of conceptual modeling, security engineering methods and techniques, and automated reasoning techniques. The LION (machine Learning and Intelligent OptimizationN) group with competences in intelligent optimization and reactive search optimization techniques. Members of the LION have created a startup company (Reactive Search SrL – http://reactive-search.com/) that realizes services for business intelligence, data mining, interactive visualization: a combination of modeling, machine learning (learning from your business data) and automated search for improving solutions (optimization).

Relevant EU or national Projects:

  • FP7-ICT-IP ANIKETOS. The objective of the project is to provide service developers and providers with a secure service development framework that includes methods, tools and security services that supports the design-time creation and run-time composition of secure dynamic services, where both the services and the threats are evolving. (http://http://www.aniketos.eu)
  • FP7-NoE NESSoS. The Network of Excellence on Engineering Secure Future Internet Software Services and Systems (NESSoS) aims at constituting and integrating a long lasting research community on engineering secure software-based services and systems. NESSoS will contribute to increase the trustworthiness of the Future Internet by improving the overall security of software services and systems (http://http://www.nessos-project.eu).
  • FP7-FET-IP SECURECHANGE. The objective of SECURECHANGE project was to develop techniques and tools that ensure “lifelong” compliance to evolving security, privacy and dependability requirements for a long-running evolving software system (http://http://www.securechange.eu).
  • FP6-IP SERENITY. System Engineering for Security and Dependability project was a R&D FP6 IP project funded by the European Union. SERENITY aims to provide security and dependability in Ambient Intelligence systems (AmI). SERENITY developed specifications, methods and a suite of tools ensuring dependability and security for future AmI solutions. (http://www.serenity-project.org).
  • FP7-STREP COMPAS. The project aims at the design and implementation of novel models, languages, and architectural frameworks to ensure dynamic and on-going compliance of software services to business regulations and quality of service, licensing, and security requirements. COMPAS particularly focuses on model-driven development approaches to compliance (http://http://compas-ict.eu).