O Departamento de Informática tem o prazer de anunciar a contratação do Doutor Mário Pereira como Professor Auxiliar.

O Prof. Mário Pereira é membro do grupo de Sistemas de Software do NOVA LINCS, centrando as suas atividades de investigação na verificação dedutiva de programas para garantir que o software é isento de erros.

A assinatura do contrato teve lugar na terça-feira, dia 24, pelas 12 horas na sala de reuniões do Edifício 1.

Ao Professor Doutor Mário Pereira o DI deseja felicidades e muito sucesso!