Thayonara de Pontes Alves

Atualmente é doutoranda em Ciência da Computação pela Universidade Federal de Pernambuco. Possui graduação em Ciência da Computação pela Universidade Federal de Pernambuco (2018) e mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (2020). Tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais e Engenharia de Software.

Has experience in