Augusto Sampaio

Augusto Cezar Alves Sampaio jest brazylijskim informatykiem , który pracuje metodami formalnymi i semantyką języka .

Augusto Sampaio z Recife , Pernambuco , Brazylia . Ukończył Centro de Informática (CIn) na Uniwersytecie Federalnym w Pernambuco (UFPE) (z tytułem licencjata w 1985 r. i tytułem magistra w 1988 r.). Studia doktoranckie podjął pod kierunkiem prof. Sir Tony'ego Hoare'a w Oxford University Computing Laboratory (ukończone w 1993). W 2013 Sampaio został dowódcą Orderu Zasługi Naukowej, przyznawanego przez brazylijskie Ministerstwo Nauki i Technologii. W lipcu 2016 Sampaio otrzymał tytuł doktora honoris causa Uniwersytetu York w Wielkiej Brytanii.

Sampaio jest profesorem na Uniwersytecie Federalnym w Pernambuco. Jego główny wkład dotyczy obszaru transformacji modeli i automatycznego generowania testów z modeli formalnych.

Linki zewnętrzne

• Oficjalna strona internetowa
• Augusto Cezara Alvesa Sampaio indeksowane przez Google Scholar
• Augusto Sampaio na serwerze bibliograficznym DBLP