Augusto Sampaio
Augusto Cezar Alves Sampaio | |
---|---|
Born | Recife, Pernambuco, Brazil |
Nationality | Brazilian |
Alma mater | Federal University of Pernambuco (BSc, MSc) |
Known for | Formal methods, language semantics, model transformations |
Awards | Commander of the Scientific Merit Order (2013) |
Scientific career | |
Thesis | (1993) |
Doctoral advisor | Prof. Sir Tony Hoare |
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).[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.[2]
Sampaio is a professor at the Federal University of Pernambuco.[3] His main contributions are in the area of model transformations and automatic generation of test from formal models.[4]
References
- ^ Sampaio, Augusto (1993). An algebraic approach to compiler design (Ph.D. thesis). University of Oxford. OCLC 556622584. EThOS uk.bl.ethos.334903.
- ^ "Tony Hoare". Department of Computer Science, University of Oxford. Retrieved 31 May 2016.
- ^ "Augusto Sampaio". Brazil: Federal University of Pernambuco. Retrieved April 9, 2014.
- ^ Augusto Sampaio at DBLP Bibliography Server .
External links
- Official website
- Augusto Cezar Alves Sampaio publications indexed by Google Scholar
- Augusto Sampaio at DBLP Bibliography Server
- Articles with short description
- Short description matches Wikidata
- Articles with hCards
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BIBSYS identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with NTA identifiers
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with Google Scholar identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with SUDOC identifiers
- Year of birth missing (living people)
- Living people
- People from Recife
- Federal University of Pernambuco alumni
- Alumni of the University of Oxford
- Brazilian computer scientists
- Formal methods people
- Members of the Department of Computer Science, University of Oxford
- Academic staff of the Federal University of Pernambuco
- All stub articles
- Brazilian scientist stubs
- Computer specialist stubs