welcome !
Hi, I am a PhD student at the Universidade do Minho, Braga, Portugal, under the supervision of Prof. Manuel Alcino Cunha and Prof. José Nuno Oliveira, and included in the MAP-i Doctoral Programme in Computer Science. You can have a look at my thesis proposal.
Previously, I have graduated in Licenciatura em Engenharia de Sistemas e Informática, also at the Universidade do Minho, Braga, Portugal. Currently, I am starting my PhD with Prof. Manuel Alcino Cunha and Prof. José Nuno Oliveira under the MAP-i Doctoral Programme in Computer Science.
For the context of my PhD in the area of formal methods, I am working on a calculational approach to bidirectional programming languages, and I particularly enjoy the Haskell functional language.
