Skip navigation.

I am graduated in Systems and Computer Science Engineering since 7th October 2004 (Licenciatura em Engenharia de Sistemas e Informatica) - Department of Informatics at Minho University. I did my last project (Projecto de Estagio) at Siemens Portugal S.A. namely at Information & Communication, R&D Telecommunication Management Networks department. The project theme was "ASN.1 Encoding/Decoding generator" and my supervisors were Joao Saraiva from Minho University, and Dario Freire from Siemens Portugal.

Between September 2002 and February 2003 I went to Utrecht University as Erasmus Exchange Student. During that period I followed courses of Software Technology Master Course headed by Doaitse Swierstra.

Between October 2004 and June 2005, I was a (student) researcher at Philips Research Laboratories - Eindhoven, The Netherlands (Compiler Technology Cluster - Information and Software Technology). The aim of my intership was to extend the Amber tool (C program analysis tool) to support analysis in presence of function pointers.

Since August 1st 2005, I am a Ph.D. Student at Software Technology Department, Faculty of Mathematics and Computer Science at Delft University of Technology. My supervisor is Prof.Dr.ir. A.J.C. van Gemund.