Softwares de alta segurança em discussão na UMinho

A Universidade do Minho vai receber esta quarta-feira, às 14h30, a lição inaugural da Cátedra PT-FLAD em cidades e governação inteligentes, com a participação especial do especialista Gilles Barthe, do IMDEA Software Institute, Espanha.

O evento inicia-se com uma breve apresentação da Cátedra, criada em 2016 e suportada pela Portugal Telecom e Fundação Luso-Americana para o Desenvolvimento. Segue-se a aula inaugural “High-Assurance Software for Security and Privacy”, a cargo do investigador Gilles Barthe.

A partir das 15h45 há uma mesa redonda que junta Mário Moreira, do Centro de Estudos de Telecomunicações da Altice Labs, Henrique Santos, do Centro Algoritmi da UMinho, e José Nuno Oliveira, do Laboratório de Software Confiável da UMinho e do INESC TEC.

A Cátedra PT-FLAD tem como objectivo viabilizar projectos de ensino e investigação na área das tecnologias de software confiável para suporte ao desenvolvimento de cidades e infra-estruturas de governação inteligentes. A sua criação deve-se ao papel da Universidade do Minho nesta área, nomeadamente ao acolher em 2014, no campus de Couros, em Guimarães, o pólo da UNU-EGOV e a unidade de desenvolvimento da agência para a modernização administrativa, um laboratório para prototipagem e projectos-piloto em EGOV. Ainda no domínio multidisciplinar das cidades inteligentes, a universidade tem vindo a desenvolver diversas tecnologias de suporte e projectar iniciativas-piloto com impacto na evolução das sociedades e do Estado.

A sessão tem entrada livre e vai acontecer no auditório da Escola de Engenharia (edifício 16) do campus de Gualtar, em Braga.

Sobre o orador Gilles Barthe

Gilles Barthe é doutorado em matemática pela Universidade de Manchester, tendo assumido funções ao longo dos últimos anos no Instituto Nacional de Investigação em Informática e Automação, em França, na Universidade Técnica de Chalmers , na Suécia, no CWI – Pesquisa em Matemática e Ciências da Computação e na Universidade de Nijmegen, na Holanda. É autor de mais de uma centena de artigos científicos citados, editor das publicações Journal of Automated Reasoning e Journal of Computer Security e coordenador de vários estudos nacionais e europeus. Já foi distinguido com o prémio Best Paper Award na conferência internacional de criptologia 2011, no colóquio de princípios e prática da programação paralela 2013 e no simpósio internacional sobre os fundamentos da engenharia de software 2016.