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.

Informações coletadas do Lattes em 01/04/2026

Acadêmico

Formação acadêmica

Doutorado em andamento em Ciências da Computação

2021 - Atual

Universidade Federal de Pernambuco
Orientador: Leopoldo Motta Teixeira
Grande área: Ciências Exatas e da Terra

Mestrado em Ciências da Computação

2018 - 2020

Universidade Federal de Pernambuco
Título: Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study.,Ano de Obtenção: 2020
Leopoldo Motta Teixeira.Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil. Grande área: Ciências Exatas e da Terra

Especialização em andamento em Especialização em Teologia (Bíblica e Sistemática)

2019 - Atual

Universidade Presbiteriana Mackenzie

Graduação em Ciência da Computação

2013 - 2018

Universidade Federal de Pernambuco
Título: Portando teorias entre assistentes de prova: Um estudo de caso
Orientador: Leopoldo Motta Teixeira

Curso técnico/profissionalizante em Redes de Computadores

2010 - 2012

Escola Técnica Estadual Aderico Alves de Vasconcelos

Formação complementar

2013 - 2013

Students to Business - Infraestrutura de Redes. (Carga horária: 80h). , Microsoft Innovation Center ETEPAM, MICETEPAM, Brasil.

2012 - 2012

Oficina de Game Design. (Carga horária: 18h). , Fundação do Patrimônio Histórico e Artístico de Pernambuco, FUNDARPE, Brasil.

2011 - 2011

Students to Business - Infraestrutura de Redes. (Carga horária: 80h). , Microsoft Innovation Center ETEPAM, MICETEPAM, Brasil.

2011 - 2011

Manutenção de computadores e Redes de Computadores. (Carga horária: 96h). , Microlins Goiana, MICROLINS GOIANA, Brasil.

Idiomas

Inglês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Espanhol

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Participação em eventos

IV Mostra de Inovações Pedagógicas. Segurança da Informação - Engenharia Social. 2011. (Feira).

IX Congresso Internacional de tecnologia na educação. Segurança da Informação - Engenharia Social. 2011. (Congresso).

OBMEP. Prova. 2010. (Olimpíada).

XIII Olimpíada Brasileira de Astronomia e Astronáutica. Prova. 2010. (Olimpíada).

Produções bibliográficas

ALVES, T. P. ; TEIXEIRA, Leopoldo ; ALVES, Vander ; CASTRO, Thiago . Porting the Software Product Line Refinement Theory to the Coq proof assistant.. In: Brazilian Symposium on Formal Methods, 2020, Ouro Preto. Proceedings of the 23rd Brazilian Symposium on Formal Methods (SBMF 2020), 2020., 2020.
GOMES, Karine ; TEIXEIRA, Leopoldo ; ALVES, T. P. ; RIBEIRO, M. ; GHEYI, Rohit . Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study. In: International Workshop on Variability Modelling of Software-intensive Systems., 2019, Leuven. Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019., 2019.

Projetos de desenvolvimento

2015 - 2015

Participação no projeto OPENREDU, Descrição: Colaboração no projeto do OPENREDU sobre a coordenação do professor do CIn-UFPE Alex Sandro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thayonara de Pontes Alves - Coordenador / Alex Sandro Gomes - Integrante.
2009 - 2009

Projeto S2B - Infraestrutura de Redes, Descrição: Projeto de conclusão do curso de Infraestrutura de Redes. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thayonara de Pontes Alves - Coordenador / Jorge Lafaiete - Integrante / José Barbosa - Integrante / Gustavo Magalhães - Integrante.
2015 - 2015

Participação no projeto OPENREDU, Descrição: Colaboração no projeto do OPENREDU sobre a coordenação do professor do CIn-UFPE Alex Sandro.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thayonara de Pontes Alves - Coordenador / Alex Sandro Gomes - Integrante.
2013 - 2013

DESENVOLVIMENTO DE INFRAESTRUTURA DE REDES, BASEADA EM AMBIENTE MICROSOFT, Descrição: Projeto de conclusão do curso Students to Business - IT Infrastructure. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thayonara de Pontes Alves - Integrante / Gustavo Magalhães - Coordenador / Heitor Costa - Integrante / Breno Porto - Integrante.
2009 - 2009

Projeto S2B - Infraestrutura de Redes, Descrição: Projeto de conclusão do curso de Infraestrutura de Redes. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thayonara de Pontes Alves - Integrante / Jorge Lafaiete - Integrante / José Barbosa - Integrante / Gustavo Magalhães - Coordenador.

Prêmios

2013

Melhor projeto de conclusão do curso de Infraestrutura de redes, Microsoft Innovation Center ETEPAM.

2013

Microsoft Technology Associate (MTA) IT Infrastructure, Microsoft.

2012

Aluna laureada do ensino médio/técnico, ETEAAV.

2010

Menção Honrosa na OBMEP, Ministério da Ciência e Tecnologia e da Educação.

Histórico profissional

Experiência profissional

2017 - 2018

Universidade Federal de Pernambuco

Vínculo: Colaborador, Enquadramento Funcional: Monitoria, Carga horária: 12

Outras informações:
Monitoria em Paradigmas de Linguagens Computacionais. Professores: André S. & Henrique R.

2017 - 2018

Universidade Federal de Pernambuco

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20

2014 - 2014

Universidade Federal de Pernambuco

Vínculo: Colaborador, Enquadramento Funcional: Monitora em Álgebra Vetorial e Linear p/ C., Carga horária: 12

Outras informações:
Prof. Silvio Barros Melo

2014 - 2014

Universidade Federal de Pernambuco

Vínculo: Colaborador, Enquadramento Funcional: Monitora em Programação I, Carga horária: 12

Outras informações:
Prof. Roberto Barros

2014 - 2014

PET Informática

Vínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 12

2017 - 2018

In Forma software

Vínculo: Estagiária, Enquadramento Funcional: Estágio em Engenharia de Software, Carga horária: 30