Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics.
He undertook his PhD studies under the supervision of Prof. Sir Tony Hoare at the Oxford University Computing Laboratory (finishing in 1993).
[1] In 2013 Sampaio became Commander of the Scientific Merit Order, awarded by the Brazilian Science and Technology Ministry.
In July 2016 Sampaio received the title of Doctor Honoris Causa from the University of York, UK.
You can help Wikipedia by expanding it.This biographical article relating to a computer specialist is a stub.