I am a Full Professor at the Center for Informatics, Federal University of Pernambuco (CIn-UFPE) and a CNPq Research Productivity Fellow. I have completed a corporate Postdoctoral Fellowship at Lindy Labs in 2022-2023 on formal verification of smart contracts. Since 2021, I have been the Coordinator of the CIn/Softex Robotics and Artificial Intelligence Project, and since 2014, I have served as the Innovation Coordinator of the CIn/Motorola Project. From 2011 to 2014, I was the vice-coordinator of the COMPASS Project (Comprehensive Modelling for Advanced Systems of Systems), Brazil side, funded by the European Community under the FP7 call. I conducted research in testing within the CIn/Motorola Project from 2004 to 2008 and collaborated with Embraer safety engineers from 2006 to 2016.

• Telephone +55 81 2126-8430 (Ext 4336)

• Office        B210