Thaynara Arielly de Lima

Possui o título de "Bacharel em Matemática", conferido pela Universidade Federal de Goiás (2007). Possui título de "Mestre" (2010) e o título de "Doutora" (2014), conferidos pela Universidade de Brasília após finalização dos relativos cursos no Programa de Pós-graduação em Matemática (Conceito 7 - avaliação atual, bem como a vigente ao término do curso em 2014). O curso de doutorado foi concluído na área de conhecimento Teoria da Computação; especificamente, a tese versou sobre análise da complexidade e limitantes para problemas associados a ordenação de permutações. Atua como docente no Instituto de Matemática e Estatística da Universidade Federal de Goiás. Seus temas de pesquisa correntes versam sobre algoritmos evolutivos para ordenação de permutações e Métodos Formais (especificamente, mecanização e automação de teorias computacionais e algébricas em sistemas de verificação de provas). Em particular, tem contribuído com o enriquecimento das bibliotecas de PVS da NASA, relativas à teorias algébricas (https://github.com/nasa/pvslib/tree/master/algebra) e com bibliotecas de Isabelle/HOL com respeito a aplicações combinatórias do teorema da compacidade. Desde setembro de 2024, é membro do Working Group WG4 (Libraries of formal proofs) do European Research Network on Formal Proofs (EuroProofNet). De agosto de 2024 a janeiro de 2025 está como pesquisadora visitante no Research Institute for Symbolic Computation (RISC), Johannes Kepler University. Foi co-organizadora do 19th Logical and Semantic Frameworks with Applications LSFA 2024. Foi membro do Comitê de Programa do LSFA 2024 e Women in Logic 2024. É membro do Comitê de Programa e Workshop chair da 18th Conference on Intelligent Computer Mathematics CICM 2025 e membro do Comitê de Programa da 16th International Conference on Interactive Theorem Proving ITP 2025.

Informações coletadas do Lattes em 27/08/2025

Acadêmico

Formação acadêmica

Doutorado em Programa de Pós Graduação em Matemática

2010 - 2014

Universidade de Brasília, UnB
Título: Complexidade e Combinatória de Problemas de Distância em Grupos de Permutações
, Ano de obtenção: 2014. Mauricio Ayala-Rincón. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Métricas em Sn; Problema da Distância em Subgrupos; Distância de Cayley; Permutações com e sem sinal; Média da distância de reversão.Grande área: Ciências Exatas e da Terra

Mestrado em Matemática

2008 - 2010

Universidade de Brasília, UnB
Título: Representação combinatória e algébrica das permutações na análise do problema de rearranjo de genomas por reversões
, Ano de Obtenção: 2010.Mauricio Ayala Rincón.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Graduação em Matematica

2004 - 2007

Universidade Federal de Goiás
Título: Dinâmica e Geometria
Orientador: Ronaldo Alves Garcia
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Formação complementar

2019 - 2019

Licença Capacitação. , Universidade de Brasília, UnB, Brasil.

Idiomas

Inglês

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

Espanhol

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática Aplicada - Teoria da Computação.

Organização de eventos

VENTURA, D. L. ; de Lima, Thaynara A. ; SILVESTRE, B. O. ; SANZ, W. . 19th Logical and Semantic Frameworks with Applications. 2024. (Outro).

GOMES, A. J. ; LEANDRO NETO, B. ; ROCHA, E. B. ; NASCIMENTO, E. B. ; MENDES, F. F. ; MELO, J. D. G. ; RIBEIRO, J. P. M. ; PIETERZACK, M. D. ; GOMES, M. S. ; FERREIRA, N. A. ; SMITH, O. P. ; GOMIDE, O. M. L. ; de Lima, Thaynara A. . XXIX Semana do IME/UFG e VI Seminário de Pesquisa e Pós-Graduação do IME/UFG. 2021. (Congresso).

de Lima, Thaynara A. . XXVII Semana do IME e IV Seminário de Pesquisa e Pós-graduação do IME/UFG. 2016. (Congresso).

de Lima, Thaynara A. . XXV Olimpíada de Matemática do Estado de Goiás. 2016. .

de Lima, Thaynara A. . Espaço das Profissões. 2016. (Outro).

DE LIMA, THAYNARA ARIELLY ; GOMES, R. P. ; BUENO, T. P. ; PIETERZACK, M. D. ; SMITH, O. P. ; VARGAS JUNIOR, V. ; CHAVES, R. Q. . XXVI Olimpíada de Matemática de Olimpíada. 2016. .

FREITAS, T. P. A. ; CHAVES, A. P. A. ; de Lima, Thaynara A. . 4º Colóquio de Matemática da Região Centro-Oeste. 2015. (Congresso).

LIMA, I. S. ; COUTO, K. R. ; MOLLO, R. A. T. ; GOMES NETO, V. P. ; MACEDO, T. R. ; LIMA, T. A. . III Workshop de Álgebra da UFG-CAC. 2014. (Outro).

GOMES NETO, V. P. ; LIMA, T. A. . VI SIMMI - Simpósio de Matemática e Matemática Industrial da UFG-Catalão. 2014. (Outro).

Participação em eventos

15th International Conference on Interactive Theorem Proving (ITP 2024). A Formalization of the General Theory of Quaternions. 2024. (Congresso).

EuroProofNet Workshop.Exploring the benefits of a general abstract formalization. 2024. (Oficina).

Hausdorff Trimester Program: "Prospects of Formal Mathematitics.Algebraic Theorems in PVS. 2024. (Outra).

RISC Forum.Formalization of a General Theory of Quaternions and Applications. 2024. (Seminário).

LPAR 2023: 24TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING. Mechanising Hall?s Theorem for Countable Graphs. 2023. (Congresso).

Conference on Intelligent Computer Mathematics CICM 2022.. Hall?s Theorem for Enumerable Families of Finite Sets. 2022. (Congresso).

NASA Formal Methods. 2022. (Congresso).

Seminário TeReSe. 2022. (Seminário).

XIV Workshop de Verão em Matemática. Formalizing Theorems with PVS. 2022. (Congresso).

13th NASA Formal Methods Symposium (NFM 2021). 2021. (Simpósio).

28th International Conference on Automated Deduction (CADE). 2021. (Congresso).

6TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION. 2021. (Congresso).

XII Summer Workshop in Mathematics. Interactively Proving Mathematical Theorems. 2020. (Congresso).

XI Summer Workshop in Mathematics. Isomorphism Theorems for Rings in PVS. 2019. (Congresso).

V Colóquio de Matemática da Região Centro-Oeste. Sessão Técnica de Matemática Aplicada. 2018. (Congresso).

XXVII Semana do IME e IV Seminário de Pesquisa e Pós-graduação do IME/UFG. Modelagem matemática: equações diferenciais, processos estocásticos e computação. 2016. (Congresso).

III Workshop de Álgebra da UFG-CAC.Sobre números primos. 2014. (Outra).

VI Simpósio de Matemática e Matemática Industrial (SIMMI 2014).Explorando alguns conceitos matemáticos envolvidos em Rearranjo de Genomas. 2014. (Simpósio).

Permutation Patterns' 13. On the average reversal distance to sort signed permutations. 2013. (Congresso).

X Seminário Informal, mas Formal!.Em busca do número médio de reversões necessárias para se ordenar permutações com sinal. 2013. (Seminário).

7CCC. Complexity of Cayley distance and other general metrics on permutation groups. 2012. (Congresso).

International Workshop on Efficient Parallel Programming of Bioinformatics Applications on Heterogeneous HPC Platforms (ParBioHet 2012)12).An algebraic approach to genome rearrangement problem: sorting by reversals and algebraic transpositions. 2012. (Outra).

IX Seminário Informal, mas Formal!.Sobre Algumas Métricas de Sn e Troca de Blocos em Rearranjo de Genomas. 2011. (Seminário).

VIII Seminário Informal, mas Formal!.Complexidade de Problemas de Rearranjo de Genomas. 2011. (Seminário).

WoLLIC - Workshop on Logic, Language, Information and Computation. 2010. (Congresso).

27º Colóquio Brasileiro de Matemática. 2009. (Congresso).

RDP -Federated Conference on Rewriting, Deduction, and Programming. 2009. (Congresso).

26º Colóquio Brasileiro de Matemática. 2007. (Congresso).

XIV Escola de Geometria. 2006. (Congresso).

XIX Semana do IME. 2004. (Congresso).

Participação em bancas

Aluno: Andrés Felipe Gozález Barragan

NANTES SOBRINHO, D.;de Lima, Thaynara A.; DANTAS, A. C.. Operadores de redução para completação de sistemas de reescrita. 2021. Dissertação (Mestrado em Matemática) - Universidade de Brasília.

Aluno: Wilson Junior Alves

GONCALVES, T. M. N.; BORGES, M.;de Lima, Thaynara A.. Formação inicial do professor: sua preparação para a sala de aula. 2021. Dissertação (Mestrado em PROFMAT) - Universidade Federal de Catalão.

Aluno: Gabriella da Silva Barros

VARGAS, T. M.;de Lima, Thaynara A.; VARGAS JUNIOR, V.; BELISARIO, H. L. S.. Números binomiais: aplicações ao ensino e extensões. 2021. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Cláudio dos Santos

DIAS, I. R. M.;de Lima, Thaynara A.; NUNES, E. C. P.. Congruência modular e uma nova visão do processo de divisibilidade na educação básica. 2021. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: FELIPE VITERBO DE LIMA

DIAS, I. R. M.;de Lima, Thaynara A.; LEANDRO, B. C.. Uma aplicação Web como recurso didático em aritmética. 2020. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Thiago dos Santos Vieira

VIEIRA, E. R.;de Lima, Thaynara A.. Probabilidade e suas aplicações à genética. 2019. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Oscar Joaquim da Silva Neto

VARGAS, T. M.;de Lima, Thaynara A.. Conceitos Básicos de Análise Combinatória e Aplicações Específicas ao Ensino. 2019. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Raul Rodrigues dos Santos

DE LIMA, THAYNARA ARIELLY. Divisibilidade e Congruência em Somatórios. 2018. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Iberê Nazareth Dujardin

SMITH, O. P.;de Lima, Thaynara A.. Tópicos de Teoria dos Números Aplicados ao Ensino Médio e Técnico Prossionalizante. 2018. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Rodolpho Mamede de Oliveira

VARGAS, T. M.;de Lima, Thaynara A.. Um estudo estatístico do trânsito de Goiânia. 2018. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Hélio Roberto da Rocha

de Lima, Thaynara A.. Uso de jogos e materiais concretos no ensino de Expressões Algébricas e Equações do 1o e do 2o grau no Ensino Fundamental. 2017. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: dANIELLE mICHAELSEN LAGO

LIMA, T. A.. Um Estudo das Cônicas. 2017. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Paula Daniele Borges dos Santos

LIMA, T. A.. Relação entre o Máximo Divisor Comum, o Mínimo Múltiplo Comum e o Diagrama de Venn. 2017. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Luciano Drigo Gomes

LIMA, T. A.. Determinação do Instante de Morte, Falsificação de Obras de Arte e Outros Problemas Curiosos. 2017. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Messias Henrique Vieira Silva

DE LIMA, THAYNARA ARIELLY. Uma abordagem de sistemas lineares usando o Maxima e o Scilab. 2017. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Cleomar Luiz da Costa

de Lima, Thaynara A.. A História da Matemática como Estímulo ao Ensino-Aprendizagem. 2016. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Alexandre da Silva Pedroso

de Lima, Thaynara A.. Equações Diferenciais Ordinárias: uma proposta de aplicação em problemas de vazão e mistura de fluidos. 2016. Dissertação (Mestrado em Matemática) - Universidade Federal do Triângulo Mineiro.

Aluno: FRANCISCO FÁBIO MONTEIRO DE ALMEIDA

LIMA, T. A.. Lançamento Oblíquo: Uma Abordagem Matemática. 2016. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Alessandro Andreatini Neto

LIMA, T. A.. A matemática da educação financeira. 2015. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Tulio Fernando da Mata

LIMA, T. A.. Criptografia. 2015. Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás.

Aluno: Guilherme Rocha Ortega

AYALA-RINCON, MAURICIO; NANTES SOBRINHO, D.;de Lima, Thaynara A.; VENTURA, D. L.. Segunda área em Teoria da Computação. 2023. Exame de qualificação (Doutorando em Matemática) - Universidade de Brasília.

Aluno: Caio Barbosa da Cunha

M. Ayala-Rincón; MOURA, F. L. C.;DE LIMA, THAYNARA ARIELLY. Segunda área em Teoria da Computação. 2023. Exame de qualificação (Doutorando em Matemática) - Universidade de Brasília.

Aluno: Sharmenya Andrade

AYALA-RINCON, MAURICIO; NANTES SOBRINHO, D.;DE LIMA, THAYNARA ARIELLY. Segunda área em Teoria da Computação. 2023. Exame de qualificação (Doutorando em Matemática) - Universidade de Brasília.

Aluno: Gustavo Gomes

AYALA-RINCON, MAURICIO; MOURA, F. F. L. C.;DE LIMA, THAYNARA ARIELLY. Segunda área em Teoria da Computação. 2023. Exame de qualificação (Doutorando em Matemática) - Universidade de Brasília.

Aluno: Julia Mitsuno Kato Aiza Alvarez

NANTES SOBRINHO, D.; AYALA-RINCON, MAURICIO;de Lima, Thaynara A.. Segunda área em Teoria da Computação. 2022. Exame de qualificação (Doutorando em Matemática) - Universidade de Brasília.

Aluno: Wilson Junior Alves

GONCALVES, T. M. N.; BORGES, M.;de Lima, Thaynara A.. Formação inicial do professor: sua formação para a sala de aula. 2021. Exame de qualificação (Mestrando em PROFMAT) - Universidade Federal de Catalão.

Aluno: Lucas Ângelo da Silveira

LIMA, T. A.. Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticos. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade de Brasília.

GOMES, A. J.;DE LIMA, THAYNARA ARIELLY; SILVA, T. F. N. M.. Processo Seletivo Simplificado para Contratação de Professor Substituto. 2018. Universidade Federal de Goiás.

LIMA, T. A.; GAETE, M. R. R.; BLOOT, R.. Concurso Público para Carreira do Magistério Superior, Edital PROGEPE n. 448. 2014. Universidade Federal da Integração Latino-Americana.

RABELO, M. N.; PURCINA, L. A.;LIMA, T. A.; CUNHA, J. B. B.. Processo Seletivo Simplificado para Contratação de Professor Substituto. 2014. Universidade Federal de Goiás.

Orientou

Cristopher Lopes

Grafos no ensino básico; Início: 2024; Dissertação (Mestrado profissional em PROFMAT) - Universidade Federal de Goiás; (Orientador);

Marcos Rony Silva Brandão

Lógica Formal Aplicada; Início: 2022 - Universidade Federal de Goiás; (Orientador);

Bruno dos Santos Carvalho

Conceitos de Lógica na Educação Básica por meio de Relés e Interruptores; 2024; Dissertação (Mestrado em PROFMAT) - Universidade Federal de Goiás, ; Orientador: Thaynara Arielly de Lima;

Jaime Mendes da Cunha

Robótica Educacional no Ensino de Matemática; 2024; Dissertação (Mestrado em PROFMAT) - Universidade Federal de Goiás, ; Orientador: Thaynara Arielly de Lima;

Luciano Pinto e Silva

Trigonometria: Uso do GeoGebra para análise de problemas reais; 2021; Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás, ; Orientador: Thaynara Arielly de Lima;

Alberto Santos dos Reis

A identidade de Euler e suas constantes; 2019; Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás, ; Orientador: Thaynara Arielly de Lima;

Erick Gomes Pires Stival

Reta de Euler, Circunferência de Nove Pontos, Sólidos Platônicos e Arquimedianos: aspectos teóricos, suas construções em Geogebra e aplicaações no ensino; 2019; Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás, ; Orientador: Thaynara Arielly de Lima;

Rogério da Silva Cavalcante

Artmética com Python; 2018; Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás, ; Orientador: Thaynara Arielly de Lima;

dANIELLE mICHAELSEN LAGO

Um Estudo das Cônicas; 2017; Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás, ; Orientador: Thaynara Arielly de Lima;

Luciano Drigo Gomes

Determinação do Instante de Morte, Falsificação de Obras de Arte e Outros Problemas Curiosos; 2017; Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Thaynara Arielly de Lima;

Paula Daniele Borges dos Santos

Relação entre o Máximo Divisor Comum, o Mínimo Múltiplo Comum e o Diagrama de Venn; 2017; Dissertação (Mestrado em Matemática) - Universidade Federal de Goiás, Fundação de Amparo a Pesquisa do Estado de Goiás; Orientador: Thaynara Arielly de Lima;

André Camapum Carvalho de Freitas

Provas Formalmente Verificadas; 2022; Iniciação Científica - Universidade Federal de Goiás; Orientador: Thaynara Arielly de Lima;

André Camapum Carvalho de Freitas

Domínios de Fatoração Única no Assistente de Provas PVS; 2021; Iniciação Científica - Universidade Federal de Goiás; Orientador: Thaynara Arielly de Lima;

André Camapum Carvalho de Freitas

Formalizando Fatoração em Anéis Comutativos no Assistente de Provas PVS; 2020; Iniciação Científica - Universidade Federal de Goiás; Orientador: Thaynara Arielly de Lima;

André Camapum Carvalho de Freitas

Teoria de Anéis em PVS; 2019; Iniciação Científica; (Graduando em Matematica) - Universidade Federal de Goiás; Orientador: Thaynara Arielly de Lima;

Thalita Silva Vieira

Rearranjo de Genomas; 2018; Iniciação Científica; (Graduando em Engenharia Civil) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Thaynara Arielly de Lima;

Luiz Gustavo Barros

Estudo e aprofundamento de conceitos de álgebra linear, análise, curvas e superfícies e álgebra moderna; 2017; Iniciação Científica; (Graduando em Engenharia Civil) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Thaynara Arielly de Lima;

Produções bibliográficas

da Silveira, Lucas A. ; de Lima, Thaynara A. ; Ayala-Rincón, Mauricio . On reconfiguring heterogeneous parallel island models. Swarm and Evolutionary Computation , v. 89, p. 101624, 2024.
SUAREZ, F. F. S. ; DE LIMA, THAYNARA ARIELLY ; AYALA-RINCON, MAURICIO . Compactness Theorem for Propositional Logic and Combinatorial Applications. Archive of Formal Proofs , v. 1, p. 1, 2024.
da Silveira, Lucas A. ; de Lima, Thaynara A. ; BARROS, JESSÉ B. DE ; Soncco-Álvarez, José L. ; LLANOS, CARLOS H. ; Ayala-Rincón, Mauricio . On the behavior of parallel island models. APPLIED SOFT COMPUTING , v. 148, p. 110880, 2023.
DE LIMA, THAYNARA ARIELLY ; GALDINO, ANDRÉ LUIZ ; AVELAR, ANDRÉIA BORGES ; Ayala-Rincón, Mauricio . Formalization of Ring Theory in PVS. JOURNAL OF AUTOMATED REASONING , v. 65, p. 1231-1263, 2021.
Ayala-Rincón, Mauricio ; DE LIMA, THAYNARA ARIELLY . Teaching Interactive Proofs to Mathematicians. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE , v. 328, p. 1-17, 2020.
LIMA, T. A. ; M. Ayala-Rincón . On the average number of reversals needed to sort signed permutations. DISCRETE APPLIED MATHEMATICS , v. 235, p. 59-80, 2018.
DE LIMA, THAYNARA ARIELLY ; SILVA, A. B. A. ; GALDINO, A. L. . Formalizing Ring Theory in PVS. Lecture Notes in Computer Science , v. 10895, p. 40-47, 2018.
SILVEIRA, L. A. ; ALVAREZ, J. L. S. ; LIMA, T. A. ; M. Ayala-Rincón . Memetic and Opposition-Based Learning Genetic Algorithms for Sorting Unsigned Genomes by Translocations. ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING , v. 419, p. 73-86, 2016.
Ayala-Rincón, Mauricio ; DE LIMA, THAYNARA ARIELLY ; Lima, Maria Júlia Dias ; Moscato, Mariano Miguel ; Kutsia, Temur . Verification of an Anti-unification Algorithm in PVS. Lecture Notes in Computer Science. 1ed.: Springer Nature Switzerland, 2025, v. , p. 54-71.
SUAREZ, F. F. S. ; M. Ayala-Rincón ; DE LIMA, THAYNARA ARIELLY . Formalisation of Hall¿s Theorem for Countable Infinite Graphs. Communications in Computer and Information Science. 1ed.: Springer Nature Switzerland, 2024, v. , p. 201-216.
DE LIMA, THAYNARA ARIELLY ; BORGES AVELAR, ANDRÉIA ; GALDINO, ANDRÉ LUIZ ; Ayala-Rincón, Mauricio . Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. In: LSFA 2023, 2024, Roma. In Proceedings LSFA /EPTCS 2024, 2024. v. 402. p. 18-33.
DE LIMA, THAYNARA ARIELLY ; RIBEIRO, B. B. O. ; GALDINO, A. L. ; AYALA-RINCON, MAURICIO . A Formalization of the General Theory of Quaternions. In: 15th International Conference on Interactive Theorem Proving (ITP 2024), 2024, Tbilisi, Georgia. Leibniz International Proceedings in Informatics (LIPIcs), 2024. v. 309. p. 1-18.
SUAREZ, F. F. S. ; Ayala-Rincón, Mauricio ; de Lima, Thaynara A. . Mechanising Hall?s Theorem for Countable Graphs. In: LPAR 2023: 24TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING, 2023, Manizales. Easy Chair PrePrint, 2023.
AYALA-RINCON, MAURICIO ; DE LIMA, THAYNARA ARIELLY ; AVELAR, ANDRÉIA BORGES ; GALDINO, ANDRÉ LUIZ . Formalization of Algebraic Theorems in PVS. In: LPAR 2023: 24TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING, 2023, Manizales. EPiC Series in Computing, 2023. v. 94. p. 1-10.
SUAREZ, F. F. S. ; RINCON, M. A. ; DE LIMA, THAYNARA ARIELLY . Hall's Theorem for Enumerable Families of Finite Sets. In: Conference on Intelligent Computer Mathematics CICM 2022., 2022, Tiblist. Springer LNCS Proceedings 15th Int. Conference on Intelligent Computer Mathematics CICM 2022. v. 13467. p. 1-15.
da Silveira, Lucas A. ; de Lima, Thaynara A. ; AYALA-RINCON, MAURICIO . Reconfigurable Heterogeneous Parallel Island Models. In: 2022 IEEE Symposium Series on Computational Intelligence (SSCI), 2022, Singapore. 2022 IEEE Symposium Series on Computational Intelligence (SSCI), 2022. p. 1618-1625.
da Silveira, Lucas A. ; SONCCO-ALVAREZ, JOSE L. ; de Lima, Thaynara A. ; AYALA-RINCON, MAURICIO . Heterogeneous Parallel Island Models. In: 2021 IEEE Symposium Series on Computational Intelligence (SSCI), 2021, Orlando. 2021 IEEE Symposium Series on Computational Intelligence (SSCI), 2021. p. 1.
da Silveira, Lucas A. ; SONCCO-ALVAREZ, JOSE L. ; de Lima, Thaynara A. ; AYALA-RINCON, MAURICIO . Behavior of Bioinspired Algorithms in Parallel Island Models. In: 2020 IEEE Congress on Evolutionary Computation (CEC), 2020, Glasgow. 2020 IEEE Congress on Evolutionary Computation (CEC), 2020. p. 1.
da Silveira, Lucas A. ; SONCCO-ALVAREZ, JOSE L. ; de Lima, Thaynara A. ; AYALA-RINCON, MAURICIO . Parallel Island Model Genetic Algorithms applied in NP-Hard problems. In: 2019 IEEE Congress on Evolutionary Computation (CEC), 2019, Wellington. 2019 IEEE Congress on Evolutionary Computation (CEC), 2019. p. 3262.
da Silveira, Lucas A. ; SONCCO-ALVAREZ, JOSE L. ; de Lima, Thaynara A. ; AYALA-RINCON, MAURICIO . Parallel Multi-Island Genetic Algotirth for Sorting Unsigned Genomes by Reversals. In: 2018 IEEE Congress on Evolutionary Computation (CEC), 2018, Rio de Janeiro. 2018 IEEE Congress on Evolutionary Computation (CEC), 2018. p. 1.
SILVEIRA, L. A. ; ALVAREZ, J. L. S. ; LIMA, T. A. ; RINCON, M. A. . Computing Translocation Distance by a Genetic Algorithm. In: XLI Conferencia Latinoamericana en Informática (CLEI 2015), 2015, Arequipa, Peru. IEEE Proc. CLEI 2015, 2015. p. 1-8.
DE LIMA, THAYNARA ARIELLY . Complexity of Cayley distance and other general metrics on permutation groups. In: 2012 7th Colombian Computing Congress (CCC), 2012, Medellin. 2012 7th Colombian Computing Congress (CCC). p. 1.
LIMA, T. A. ; LOURENCO, K. G. ; JUNQUEIRA, M. L. V. . Aproximação 1.5 para ordenação por reversões. In: XXVII Semana do IME, 2017, Goiânia. Anais da XXVII Semana do IME, 2016. p. 295-300.
LIMA, T. A. ; BARROS, L. G. . GRUPOS SIMPLES COM ORDEM MENOR DO QUE 60. In: Congresso de Pesquisa, Ensino e Extensão, 2017, Goiânia. Anais do XIII Congresso de Pesquisa, Ensino e Extensão, 2016. p. 1546-1548.
LIMA, T. A. ; JUNQUEIRA, M. L. V. ; LOURENCO, K. G. . Grafo de Ciclos - Aproximação para o problema de ordenação por reversões. In: Congresso de Pesquisa, Ensino e Extensão, 2017, Goiânia. Anais do XIII Congresso de Pesquisa, Ensino e Extensão, 2016. p. 1549-1551.
LIMA, T. A. ; M. Ayala-Rincón . On the average reversal distance to sort signed permutations. In: Permutation Patterns' 13, 2013, Paris. Permutation Patterns' 13. Paris, 2013.
LIMA, T. A. ; BARROS, L. G. . Décimo Problema de Hilbert. In: Congresso de Pesquisa, Ensino e Extensão, 2017, Goiânia. Anais do Congresso de Pesquisa, Ensino e Extensão, 2017. p. 611-611.
LIMA, T. A. ; LOURENCO, K. G. ; SANTOS, W. B. . Modelagem matemática: equações diferenciais, processos estocásticos e computação. In: XXVII Semana do IME e IV Seminário de Pesquisa e Pós-graduação do IME/UFG, 2016, Goiânia. XXVII Semana do IME e IV Seminário de Pesquisa e Pós-graduação do IME/UFG, 2016.
LIMA, T. A. ; JUCA, J. S. . Alfabetização matemática. In: IV Workshop de Álgebra da UFG-CAC, 2015, Catalão, Goiás. Proc. IV Workshop de Álgebra da UFG-CAC, 2015.
LIMA, T. A. . Rearranjo de Genomas: uma visão algébrica e combinatória. In: XV SEMAT, 2015, Uberlândia. Proc. XV SEMAT, 2015.
LIMA, T. A. . Explorando alguns conceitos matemáticos envolvidos em Rearranjo de Genomas. In: SIMMI 2014, 2014, Catalão. Anais do VI Simpósio de Matemática e Matemática Industrial, 2014.
LIMA, T. A. . Sobre números primos. In: III Workshop de Álgebra da UFG-CAC, 2014, Catalão. III Workshop de Álgebra da UFG-CAC, 2014.
DE LIMA, THAYNARA ARIELLY . Palestra convidada(RISC Forum/Johannes Kepler Universität Linz): Formalization of a General Theory of Quaternions and Applications. 2024. (Apresentação de Trabalho/Seminário).
DE LIMA, THAYNARA ARIELLY . Palestra convidada (Hausdorff Trimester Program: Prospects of Formal Mathematics): Algebraic Theorems in PVS. 2024. (Apresentação de Trabalho/Conferência ou palestra).
DE LIMA, THAYNARA ARIELLY . Palestra convidada(EuroProofNet 2024 - 2nd Workshop on the development, maintenance, refactoring and search of large libraries of proofs): Exploring the benefits of a general abstract formalization. 2024. (Apresentação de Trabalho/Conferência ou palestra).
DE LIMA, THAYNARA ARIELLY . (15th International Conference on Interactive Theorem Proving - ITP 2024). A Formalization of the General Theory of Quaternions. 2024. (Apresentação de Trabalho/Congresso).
DE LIMA, THAYNARA ARIELLY . (LPAR 2023: 24TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING): Mechanising Hall?s Theorem for Countable Graphs. 2023. (Apresentação de Trabalho/Conferência ou palestra).
M. Ayala-Rincón ; de Lima, Thaynara A. . (XIV Summer Workshop in Mathematics UnB): Tutorial de 6 horas intitulado 'Formalizing Theorems with PVS'. 2022. (Apresentação de Trabalho/Congresso).
de Lima, Thaynara A. ; M. Ayala-Rincón . (XXIX Semana do IME/UFG e VI Seminário de Pesquisa e Pós-Graduação do IME/UFG): Tutorial de 6 horas intitulado 'Formalização de Teoremas em Assistentes de Prova'. 2021. (Apresentação de Trabalho/Congresso).
de Lima, Thaynara A. . Palestra convidada (VI Colóquio de Matemática da Região Centro-Oeste): Formalizações matemática via assistentes de provas'. 2021. (Apresentação de Trabalho/Conferência ou palestra).
M. Ayala-Rincón ; de Lima, Thaynara A. . (XII Summer Workshop in Mathematics UnB): Tutorial de 7 horas intitulado 'Interactively Proving Mathematical Theorems'. 2020. (Apresentação de Trabalho/Congresso).
de Lima, Thaynara A. . Palestra convidada (XI Summer Workshop in Mathematics): Isomorphism Theorems for Rings in PVS'. 2019. (Apresentação de Trabalho/Congresso).
de Lima, Thaynara A. . Tutorial (XXVII Semana do IME e IV Seminário de Pesquisa e Pós-graduação do IME/UFG): Modelagem matemática: equações diferenciais, processos estocásticos e computação. 2016. (Apresentação de Trabalho/Congresso).
JUCA, J. S. ; LIMA, T. A. . (IV Workshop de Álgebra da UFG-CAC): Alfabetização matemática. 2015. (Apresentação de Trabalho/Outra).
LIMA, T. A. . (XV SEMAT - Universidade Federal de Uberlândia): Rearranjo de Genomas: uma visão algébrica e combinatória. 2015. (Apresentação de Trabalho/Conferência ou palestra).
DE LIMA, THAYNARA ARIELLY . Palestra Convidada (VI Simpósio de Matemática e Matemática Industrial - SIMMI 2014): Explorando alguns conceitos matemáticos envolvidos em Rearranjo de Genomas. 2014. (Apresentação de Trabalho/Simpósio).
LIMA, T. A. ; JUCA, J. S. . (III Workshop de Álgebra da UFG-CAC): Sobre números primos. 2014. (Apresentação de Trabalho/Outra).
LIMA, T. A. ; M. Ayala-Rincón . On the average reversal distance to sort signed permutations. 2013. (Apresentação de Trabalho/Congresso).
DE LIMA, THAYNARA ARIELLY ; AYALA-RINCON, MAURICIO . (X Seminário Informal, mas Formal! - UnB): Em busca do número médio de reversões necessárias para se ordenar permutações com sinal. 2013. (Apresentação de Trabalho/Seminário).
LIMA, T. A. ; M. Ayala-Rincón . (7CCC): Complexity of Cayley distance and other general metrics on permutation groups. 2012. (Apresentação de Trabalho/Congresso).
DE LIMA, THAYNARA ARIELLY ; AYALA-RINCON, MAURICIO . (International Workshop on Efficient Parallel Programming of Bioinformatics Applications on Heterogeneous HPC Platforms (ParBioHet 2012): )An algebraic approach to genome rearrangement problem: sorting by reversals and algebraic transpositions. 2012. (Apresentação de Trabalho/Outra).
DE LIMA, THAYNARA ARIELLY ; AYALA-RINCON, MAURICIO . (VIII Seminário Informal, mas Formal! - UnB): Complexidade de Problemas de Rearranjo de Genomas. 2011. (Apresentação de Trabalho/Seminário).
DE LIMA, THAYNARA ARIELLY ; AYALA-RINCON, MAURICIO . (IX Seminário Informal, mas Formal! - UnB): Sobre Algumas Métricas de Sn e Troca de Blocos em Rearranjo de Genomas. 2011. (Apresentação de Trabalho/Seminário).

Outras produções

DE LIMA, THAYNARA ARIELLY . Women in Logic 2024. Membro do Program Committee. 2024.

de Lima, Thaynara A. . 19th Logical and Semantic Frameworks with Applications (LSFA 2024). Membro do Program Committee. 2024.

SUAREZ, F. F. S. ; AYALA-RINCON, MAURICIO ; DE LIMA, THAYNARA ARIELLY . Compactness Theorem for Propositional Logic and Combinatorial Applications. 2024.

de Lima, Thaynara A. ; GALDINO, ANDRÉ LUIZ ; AVELAR, ANDRÉIA BORGES ; AYALA-RINCON, MAURICIO ; RIBEIRO, B. B. O. . Theory algebra/rings in PVS: Euclidean Domains; Unique Factorization Domains; Basic properties about Quaternions Algebra. 2023.

de Lima, Thaynara A. ; AVELAR, ANDRÉIA BORGES ; GALDINO, A. L. ; M. Ayala-Rincón . Theory algebra/rings in PVS: Isomorphism Theorems; Principal, Prime and Maximal Ideals; Chinese Remainder Theorem for rings. 2021.

DE LIMA, THAYNARA ARIELLY . 18th Conferences on Intelligent Computer Mathematics (Chair dos Workshops e membro do comitê de programa). 2025.

DE LIMA, THAYNARA ARIELLY . 20th Logical and Semantic Frameworks with Applications (Membro do comitê de Programa). 2025.

DE LIMA, THAYNARA ARIELLY . 16th International Conference on Interactive Theorem Proving (Membro do comitê de programa). 2025.

DE LIMA, THAYNARA ARIELLY . VI Workshop Brasileiro de Lógica (Membro do comitê de programa). 2025.

DE LIMA, THAYNARA ARIELLY . Logical frameworks and meta-languages (Membro do Comitê de Programa). 2025.

DE LIMA, THAYNARA ARIELLY . 17th Conference on Intelligent Computer Mathematics (Revisora de artigo). 2024.

DE LIMA, THAYNARA ARIELLY . 15th International Conference on Interactive Theorem Proving (Revisora de artigo). 2024.

DE LIMA, THAYNARA ARIELLY . Thirty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (Revisora de artigo). 2024.

DE LIMA, THAYNARA ARIELLY . 19th International Workshop on Logical and Semantic Frameworks, with Applications (Membro do comitê de programa). 2024.

DE LIMA, THAYNARA ARIELLY . Women in Logic 2024 (Membro do comitê de programa). 2024.

DE LIMA, THAYNARA ARIELLY . V Workshop Brasileiro de Lógica (Membro do comitê de programa). 2024.

CUNHA, J. M. ; DE LIMA, THAYNARA ARIELLY . Inovação Pedagógica: Capacitação em Robótica Educacional para Professores de Matemática, Ciências e suas Tecnologicas (Livro digital). 2024.

DE LIMA, THAYNARA ARIELLY . 14th International Conference on Interactive Theorem Proving (Revisora de artigo). 2023.

DE LIMA, THAYNARA ARIELLY . 16th Conference Intelligent Computer Mathematics (Revisora de artigo). 2023.

DE LIMA, THAYNARA ARIELLY . 30th International Conference on Neural Information Processing (Revisora de artigo). 2023.

DE LIMA, THAYNARA ARIELLY . 15th Conference on Intelligent Computer Mathematics (Revisora de artigo). 2022.

DE LIMA, THAYNARA ARIELLY . 13th International Symposium NASA Formal Methods (Revisora de artigo). 2021.

DE LIMA, THAYNARA ARIELLY . 14th Conferences on Intelligent Computer Mathematics (Revisora de artigo). 2021.

DE LIMA, THAYNARA ARIELLY . 6th International Conference on Formal Structures for Computation and Deduction (Revisora de artigo). 2021.

LIMA, T. A. . XXVI Olimpíada de Matemática do Estado de Goiás - Programa Conexões. 2017. (Programa de rádio ou TV/Entrevista).

DE LIMA, THAYNARA ARIELLY . Página pessoal. 2022. (Site).

DE LIMA, THAYNARA ARIELLY ; AYALA-RINCON, MAURICIO . Mechanizing Mathematics. 2023. (Curso de curta duração ministrado/Outra).

DE LIMA, THAYNARA ARIELLY ; RINCON, M. A. . Formalizing Theorems with PVS. 2022. (Curso de curta duração ministrado/Outra).

Projetos de pesquisa

2023 - Atual

Coordenação de projeto FAPEG 202310267000223, intitulado ``Formalização de Estruturas Algébricas e Computacionais; http://www.fapeg.go.gov.br/wp-content/uploads/2022/05/publicar-resultado-final-03-2022.pdf, Descrição: O objetivo principal deste projeto é a elaboração de arcabouços formais acerca de teorias algébricas no sistema PVS, especificamente, sobre os anéis dos polinômios e dos Quaternions, além de aplicações, com o intuito de prover suporte ao desenvolvimento formal de sistemas computacionais, algoritmos e teorias, que possuam tais objetos em seu escopo.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Thaynara Arielly de Lima - Coordenador / AYALA-RINCON, MAURICIO - Integrante / André Luiz Galdino - Integrante / AVELAR, ANDRÉIA BORGES - Integrante.
2022 - 2024

Participação de projeto Demanda Espontânea (FAPDF DE 00193.00001175/2021-11) intitulado Formalização Computacional, Algébrica e Equacional, Projeto certificado pelo(a) coordenador(a) Mauricio Ayala Rincon em 27/01/2022., Descrição: O projeto trata de aplicação de teorias nominais para raciocínio equacional e formalização de estruturas algébricas e estratégias de terminação no assistente de provas PVS.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Thaynara Arielly de Lima - Integrante / Mauricio Ayala Rincón - Coordenador / Andréia Borges Avelar da Silva - Integrante / André Luiz Galdino - Integrante.
2022 - Atual

Participação de projeto Universal CNPq (processo 409003/2021-2) intitulado "Terminação e Estruturas Algébricas em Computação", Projeto certificado pelo(a) coordenador(a) Mauricio Ayala Rincon em 19/10/2022., Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Thaynara Arielly de Lima - Integrante / Mauricio Ayala-Rincón - Coordenador / André Luiz Galdino - Integrante / AVELAR, ANDRÉIA BORGES - Integrante / Daniele Nantes Sobrinho - Integrante / Flávio Flávio Leonardo Cavalcanti de Moura - Integrante.
2019 - 2022

Participação do Projeto Demanda Espontânea FAPDF intitulado Desenvolvimento de uma Teoria para Anéis e Corpos no Assistente de Prova PVS, Descrição: Este projeto tem como objetivo principal formalizar, no assistente de provas PVS, resultados relevantes acerca da teoria de anéis e alguns resultados em teoria de cor- pos. Tais teorias têm aplicações importantes em diferentes campos do conhecimento, como em automação da segmentação de imagens digitais, análise de algoritmos e criptografia algébrica, descrição de códigos redundantes em teoria de códigos, den- tre outras. Desta maneira, pretende-se formalizar os resultados mais robustos em teoria de anéis e corpos, no intuito de se formar uma base para que aplicações de- correntes possam, futuramente, ser formalmente verificadas. Este projeto é parte de outro maior, no qual pretende-se estabelecer a formalização integral das teorias de anéis e corpos apresentadas nos principais livros texto de álgebra abstrata.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Thaynara Arielly de Lima - Integrante / Ayala-Rincón, Mauricio - Integrante / Andréia Borges Avelar da Silva - Coordenador / André Luiz Galdino - Integrante / André Camapum Carvalho de Freitas - Integrante / Ana Cristina Rocha Oliveira Valverde - Integrante., Financiador(es): Fundação de Apoio à Pesquisa do Distrito Federal - Auxílio financeiro., Número de produções C, T & A: 1
2017 - 2020

Formalizações em Linguagem de Ordem Superior com o auxílio do assistente de prova PVS, Descrição: A proposta deste projeto é estabelecer especificações e formalizações no sistema PVS para os principais teoremas de Álgebra Abstrata, especificamente os presentes nas Teorias acerca de Anéis e Corpos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Thaynara Arielly de Lima - Coordenador / Andréia Borges Avelar da Silva - Integrante / André Luiz Galdino - Integrante / Daniel Lima Ventura - Integrante.

Prêmios

2025

Honorable Mention awarded to the paper "Verification of an Anti-Unification Algorithm in PVS", 17th NASA Formal Methods Symposium (NFM 2025).

Histórico profissional

Endereço profissional

Universidade Federal de Goiás, Instituto de Matemática e Estatística. , Universidade Federal de Goiás, Instituto de Matemática e Estatística, Campus Samambaia, 74001970 - Goiânia, GO - Brasil, Telefone: (62) 35211208, URL da Homepage:

Experiência profissional

2014 - Atual

Universidade Federal de Goiás

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

01/2017
Pesquisa e desenvolvimento, Instituto de Matemática e Estatística.,Linhas de pesquisa
12/2016
Outras atividades técnico-científicas , Instituto de Matemática e Estatística, Instituto de Matemática e Estatística.,Atividade realizada, Membro do Corpo Editorial da Revista da Olimpíada.
06/2018 - 12/2020
Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística.,Cargo ou função, Membro do Núcleo Docente Estruturante dos cursos de Matemática (Bacharelado e Licenciatura).
01/2017 - 12/2018
Extensão universitária , Instituto de Matemática e Estatística.,Atividade de extensão realizada, Coordenadora da Olimpíada de Matemática do Estado de Goiás.
10/2014 - 01/2015
Conselhos, Comissões e Consultoria, Unidade Acadêmica Especial de Matemática e Tecnologia - IMTec.,Cargo ou função, Membro do Núcleo Docente Estruturante do curso de Licenciatura em Matemática.
09/2014 - 12/2014
Ensino, Engenharia de Produção, Nível: Graduação,Disciplinas ministradas, Inferência I
09/2014 - 12/2014
Ensino, Matemática Industrial, Nível: Graduação,Disciplinas ministradas, Métodos Probabilísticos em Pesquisa Operacional, Probabilidade Básica
09/2014 - 12/2014
Extensão universitária , Unidade Acadêmica Especial de Matemática e Tecnologia - IMTec.,Atividade de extensão realizada, VII Torneio de Jogos Matemáticos.
09/2014 - 10/2014
Extensão universitária , Unidade Acadêmica Especial de Matemática e Tecnologia - IMTec.,Atividade de extensão realizada, III Workshop de Álgebra da UFG-CAC.
09/2014 - 09/2014
Extensão universitária , Unidade Acadêmica Especial de Matemática e Tecnologia - IMTec.,Atividade de extensão realizada, VI Simpósio de Matemática e Matemática Industrial.

2014 - 2014

Universidade de Brasília, UnB

Vínculo: Servidor Público, Enquadramento Funcional: Professor substituto, Carga horária: 40

2008 - 2014

Universidade de Brasília, UnB

Vínculo: Bolsista, Enquadramento Funcional: Estudante de Mestrado e Doutorado, Regime: Dedicação exclusiva.

Atividades

03/2014 - 07/2014
Ensino, Engenharia Civil, Nível: Graduação,Disciplinas ministradas, Equações Diferenciais
03/2009 - 07/2014
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Cálculo I (1/ 2009, 1/2010, 2/2010, 1/2011, 1/2012 , 1/2013, 1/2014)
03/2009 - 05/2014
Pesquisa e desenvolvimento, Universidade de Brasília.,Linhas de pesquisa
05/2012 - 05/2012
Outras atividades técnico-científicas , Universidade de Brasília, Universidade de Brasília.,Atividade realizada, Revisão de Trabalho para Concurso de Trabalhos de Iniciação Científica (CSBC 2012 - CTIC).
04/2012 - 05/2012
Outras atividades técnico-científicas , Universidade de Brasília, Universidade de Brasília.,Atividade realizada, Revisão de Trabalho Científico para Publicação no Sétimo Congresso Colombiano de Computação.

2024 - Atual

Research Institute for Symbolic Computation

Vínculo: Pesquisador Visitante, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 40, Regime: Dedicação exclusiva.