Juliana Patrício Souza

I'm a PhD student under the Doctoral Program in Informatics at University of Minho. My research project aims at exploring notions of program equivalence. We intend to develop mathematical foundations ranging from aspects of syntax and semantics to the introduction of quantitative logics that allow deductive reasoning on (in)equivalence. This project is hosted by HASLab - INESC TEC over the scientific supervision of Renato Neves (Informatics Department-UMinho) and Alexandre Madeira (Mathematics Department-UAveiro).