Fernando Silvano Gonçalves, a PhD student from the Automation and Systems Engineering Department of the Federal University of Santa Catarina, in Brazil, is visiting CISTER. Fernando works under the supervision of Leandro Buss Becker, and during his visit he will be collaborating with CISTER researchers Eduardo Tovar and David Pereira. The focus of work is on the subject of formal verification of model-driven Cyber-Physical Systems design, namely, on exploring approaches based on Runtime Verification and Model Checking to improve the robustness and reliability of a framework that he is currently developing.
Fernando received his BCS from University of Southern Santa Catarina (UNESC), Brazil, M.Eng. in 2012 from Federal University of Santa Catarina (UFSC) Brazil. He is now a PhD student at Automation and Systems Engineering Department (DAS) from UFSC. He has worked with Unmanned Aerial Vehicles (UAVs) design, especially with the development of complex embedded systems, at DAS from UFSC. During this time, he worked on the PROVant project, which designed autonomous bi-rotors UAVs. His research interests include Model-Driven Design, system verification, Cyber-Physical Systems, real-time systems and embedded systems. Welcome Fernando!