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. Provided by Wikipedia
Showing 1 - 8 results of 8 for search 'Sampaio, Augusto', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    O gato Xadrez

    O gato Xadrez by Amaral Sampaio, Augusto

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    An algebraic approach to compiler design

    An algebraic approach to compiler design by Sampaio, Augusto

    Published 1997
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    An algebraic approach to compiler design

    An algebraic approach to compiler design by Sampaio, Augusto

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    An algebraic approach to compiler design

    An algebraic approach to compiler design by Sampaio, Augusto

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

    The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

    Published 2024
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved in:
  6. 6
    Unifying theories of programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

    Unifying theories of programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

    Published 2019
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  7. 7
    Theoretical aspects of computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016 : proceedings

    Theoretical aspects of computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016 : proceedings

    Published 2016
    Other Authors: “…Sampaio, Augusto…”

    Get full text Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:
  8. 8
    Theoretical aspects of computing - ICTAC 2016 13th international colloquium, Taipei, Taiwan, ROC, October 24-31, 2016 : proceedings

    Theoretical aspects of computing - ICTAC 2016 13th international colloquium, Taipei, Taiwan, ROC, October 24-31, 2016 : proceedings

    Published 2016
    Other Authors: “…Sampaio, Augusto…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: