Gustavo Carvalho is a Lecturer at CIn-UFPE. His main research interest is in Software Engineering, with emphasis on tests and formal methods. He has served as a reviewer for international conferences (FM, SEFM, ICTAC, TASE) and journals (SCP, SoSyM, IST, ACM FACJ, IEEE TSE). In 2021, he served as the chair of the Formal Methods Special Group part of the Brazilian Computer Society.