FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Gustavo Carvalho

Registered user since Wed 14 Dec 2022

Name:Gustavo Carvalho
Bio:

Gustavo Carvalho is a lecturer at Centro de Informática of the Universidade Federal de Pernambuco (UFPE), Brazil. His main research interest is on Software Engineering, with emphasis on testing and formal methods. He has authored about 30 peer-reviewed publications, besides reviewing papers for international conferences (FM, SEFM, ICTAC, TASE) and journals (IEEE Transactions on Software Engineering, Formal Aspects of Computing, Robotics and Autonomous Systems, Information and Software Technology, Software and Systems Modeling, Science of Computer Programming). In 2020, he served as PC co-chair of the XXIII Brazilian Symposium on Formal Methods. In 2021, he served as the chair of the Formal Methods Special Group at the Brazilian Computer Society. He also has experience with tool development, integrating Eclipse-based applications with formal-method tools, such as FDR, CPN Tools, RT-Tester, TTM T-VEC, among others.

Country:Brazil
Affiliation:Universidade Federal de Pernambuco
Research interests:Formal Methods, Software Engineering

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile