I am former Research Student of LFCS, Informatics Division, University of Edinburgh. My supervisor was Don Sannella. My research topic was Specification Based Testing for Structured Algebraic Frameworks. I was funded by CNPq (Brazilian Research Council).

I got my PhD degree in November, 2000. My thesis can be found here .

  Currently, I am an Associate Professor at DSC/ UFPb/Brazil
This page was last updated in 05/2000. For more up to date info see my current page.
Patrícia D. L. Machado
LFCS - Division of Informatics
James Clerk Maxwell Building
King's Buildings, Mayfield Road
Edinburgh EH9 3JZ
Scotland UK
Email: pdlm@dcs.ed.ac.uk    Phone: 0131 650 5146   Fax: 0131 667 7209
Patrícia Machado's Home Page