Augusto Sampaio

Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics. He did his PhD under the supervision of Tony Hoare at Oxford (1993) and is a professor at Federal University of Pernambuco (UFPE). His main contributions are in the area of model transformations and automatic generation of test from formal models.[1]

References

  1. ↑ "Augusto Sampaio" (in Portuguese). Federal University of Pernambuco. Retrieved April 9, 2014.


This article is issued from Wikipedia - version of the Monday, January 18, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.