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.

Property Value
dbo:abstract
  • 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. (en)
dbo:wikiPageEditLink
dbo:wikiPageExtracted
  • 2019-09-27 15:38:45Z (xsd:date)
  • 2020-05-18 17:14:10Z (xsd:date)
dbo:wikiPageHistoryLink
dbo:wikiPageID
  • 42447470 (xsd:integer)
dbo:wikiPageLength
  • 2352 (xsd:integer)
  • 2403 (xsd:integer)
dbo:wikiPageModified
  • 2019-09-27 15:34:51Z (xsd:date)
  • 2020-05-18 17:14:06Z (xsd:date)
dbo:wikiPageOutDegree
  • 23 (xsd:integer)
dbo:wikiPageRevisionID
  • 918216150 (xsd:integer)
  • 957397718 (xsd:integer)
dbo:wikiPageRevisionLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • 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. (en)
rdfs:label
  • Augusto Sampaio (en)
owl:sameAs
foaf:gender
  • male (en)
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of