Sobre

Sou estudante de doutoramento do Programa Doutoral em Informática da Universidade do Minho. Meu projeto de pesquisa tem como objetivo explorar noções de equivalência de programas e para isto, pretendemos desenvolver fundamentos matemáticos que vão desde a sintaxe e a semântica, até a introdução de lógicas quantitativas que permitam raciocinar dedutivamente sobre a (in)equivalência de tais programas. Este projeto é desenvolvido no HASLab - INESC TEC com a supervisão do professor Renato Neves (Departamento de Informática-UMinho) e do professor Alexandre Madeira (Departamento de Matemática-UAveiro).