INESC TEC, one of AIDA’s partners, presented AIDA to the Doctoral Program in Computer Science (MAP-I)’S first year students. This visit, which took place on December 6, 2022, happened during a visit to the High-Assurance Software Laboratory from INESC TEC at the University of Minho.

This was an opportunity to present the work carried out by the AIDA project and get to know a good example of international collaboration between industry and academia.

It is important to mention that the initiative was also an opportunity to share the project’s vision and expected outcomes, while promoting the project’s activities and benefits.