Augusto Sampaio is a Software Engineering Full Professor at CIn-UFPE. He holds a top level scholarship as Productive Researcher from CNPq (the Brazilian National Research Agency), since 1995. He is one of the most distinguished Brazilian Computer Scientists in the area of Software Engineering with emphasis on Formal Methods.