FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Gustavo Carvalho

Registered user since Wed 14 Dec 2022

Name:Gustavo Carvalho

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.

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


FormaliSE 2023 Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track
Show activities from other conferences

Using general profile