Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
  • Menu


I'm currently enrolled in a doctoral program in Informatics Engineering at the Faculty of Engineering of the University of Porto. At the end of 2012, I obtained my MSc from the same institution.

Since graduating, I have been involved in several research projects in the area of compilers, including source-to-source compilation and the specification of strategies to identify program faults or to instrument the code for profiling. My main research interests include source-to-source compilation, application analysis as well as optimizations and code transformations. Finally, my interests also include broader topics such as programming languages, high-performance computing and machine learning.

Between 2015 and 2018 I was a researcher in the University of Porto's team in the European H2020 project ANTAREX, where my main responsibilities include the development of a source-to-source compiler and the development of strategies to enhance applications with runtime adaptivity.



  • Name

    Pedro Miguel Pinto
  • Cluster

    Computer Science
  • Role

    Research Assistant
  • Since

    01st November 2018