Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu


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).



  • Name

    Juliana Patrício Souza
  • Cluster

    Computer Science
  • Role

    Research Assistant
  • Since

    03rd May 2022