welcome !
Hi, I have recently graduated in Licenciatura em Engenharia de Sistemas e Informática 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. You can have a look at my thesis proposal, or my most recent pre-thesis report.
In between, from October 2007 to January 2008, I have started a PhD experience with Prof. Ralf Lämmel at the Universität Koblenz - Landau that I quit for personal reasons.
I'm addicted to Formal Methods in the areas of generic functional programming and software transformation bound to the Haskell functional language.
I also enjoy the areas of language processing and object-oriented programming.