Augusto Sampaio
Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics.

Augusto Sampaio from Recife, Pernambuco, Brazil. He graduated from the Centro de Informática (CIn) at the Federal University of Pernambuco (UFPE) (with a BSc degree in 1985 and MSc degree in 1988). He undertook his PhD studies under the supervision of Prof. Sir Tony Hoare at the Oxford University Computing Laboratory (finishing in 1993). 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.

Sampaio is a professor at the Federal University of Pernambuco. His main contributions are in the area of model transformations and automatic generation of test from formal models.
Q155
Brazil
LOC
Q82594
computer scientist
Concept
Q1049183
formal methods
Concept
Q629206
language
Concept
Q1437428
semantics
Concept
Q48344
Recife
LOC
Q40942
Pernambuco
Concept
Q155
Brazil
LOC
Q2322256
Federal University of Pernambuco
ORG
Q752297
PhD
Concept
Q92602
Tony Hoare
PER
Q5260200
Oxford University Computing Laboratory
ORG
Q209896
Doctor Honoris Causa
Concept
Q967165
University of York
LOC
Q16466596
Augusto Sampaio
PER
1985-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1985
DATE
1988-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1988
DATE
1993-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1993
DATE
2013-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2013
DATE
2016-07-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
July 2016
DATE
country of citizenship
occupation
country of citizenship
educated at
doctoral advisor
located in the administrative territorial entity
country
country