Après plus d’une décennie de collaboration en recherche et développement, CLEARSY et l’UFRN signent un accord de coopération pour permettre la réalisation de stages internationaux dans le domaine des Méthodes Formelles.
Cette collaboration est marquée par des projets ayant donné lieu à de nombreux articles académiques. L’UFRN, avec son pôle de recherche en Méthodes Formelles et l’intégration de cette matière dès le niveau undergraduate, s’associe parfaitement à l’expertise de CLEARSY, qui cumule 30 ans d’expérience dans l’application industrielle de ces connaissances.
Cet accord résulte des discussions menées par Thierry Lecomte (CLEARSY) et Marcel Oliveira (UFRN), avec le suivi rapproché de Dalay Almeida, ingénieur de recherche CLEARSY, et de Marcia Lucena, coordinatrice du programme de génie logiciel.
L’accord, d’une durée de 5 ans, a été officiellement publié dans le bulletin des services de l’université, disponible à l’adresse suivante : https://boletim.ufrn.br/publico/boletim?id=UUQWOfitkS1iZXPnirETDw%3D%3D&focus=conteudo-principal