Filipe Marques Chaves de Arruda

Doutor em Ciências da Computação pela UFPE. Bacharel e Mestre pela mesma Universidade. Atua na área de Engenharia de Software e Métodos Formais.

PhD in Computer Science (Universidade Federal de Pernambuco - 2022).Research areas: Software Engineering and Formal Methods.