Augusto Sampaio (computer scientist)

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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 contributations are in the area of model transformations and automatic generation of test from formal models.[1]


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