Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Juliana Patrício Souza
Bolseiro Investigação
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).
