Augusto Sampaio
 | The topic of this article may not meet Wikipedia's general notability guideline. (January 2016) |
 | This article relies largely or entirely on a single source. (February 2015) |
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
- ^ "Augusto Sampaio" (in Portuguese). Federal University of Pernambuco. Retrieved April 9, 2014.
 | This Brazilian scientist article is a stub. You can help Wikipedia by expanding it. |
 | This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it. |