Education
He did his Doctor of Philosophy under the supervision of Tony Hoare at Oxford (1993) and is a professor at Federal University of Pernambuco (UFPE).
- Photos
- Works
- Photos
- Works
Augusto Sampaio
Edit ProfileCareer
His main contributions are in the area of model transformations and automatic generation of test from formal models.
