Augusto Sampaio é Professor Titular do Centro de Informática da UFPE. Possui um DPhil pela University of Oxford, é Doutor Honoris Causa da University of York, Comendador da Ordem Nacional do Mérito Científico do Brasil, membro das Academias Pernambucana e Brasileira de Ciências. Recebeu o Prêmio Mérito Científico da Sociedade Brasileira de Computação (SBC) e de Pesquisador Homenageado pelo Simpósio Brasileiro de Métodos Formais (SBMF) e pelo Simpósio Brasileiro de Engenharia de Software (SBES). É uma referência na área de Métodos Formais em Engenharia de Software; abordagens formais para testes; o uso de IA generativa para automatizar a geração de especificações formais e aprimorar a verificação formal; o projeto, a simulação e a verificação de sistemas robóticos; e a evolução segura de contratos inteligentes em blockchains. É um dos autores do modelo de formação conhecido como Residência em Software, premiado pelo MCT. É membro do Corpo Editorial dos periódicos Formal Aspects of Computing (ACM) e Science of Computer Programming (Elsevier). Publicou mais de 150 artigos e orientou mais de 60 estudantes de doutorado e mestrado.