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 July 2016 Sampaio received the title of Doctor Honoris Causa form the University of York, UK.[1]

Sampaio is a professor at the Federal University of Pernambuco.[2] His main contributions are in the area of model transformations and automatic generation of test from formal models.[3]

References

  1. ↑ "Tony Hoare". Department of Computer Science, University of Oxford. Retrieved 31 May 2016..
  2. ↑ "Augusto Sampaio". Brazil: Federal University of Pernambuco. Retrieved April 9, 2014.
  3. ↑ Augusto Sampaio at DBLP Bibliography Server.

External links

This article is issued from Wikipedia - version of the 9/12/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.