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", tendo em vista a conclusão do Curso de Matemática na Universidade de Brasília (2010). Possui o título de "Doutora", conferido pela Universidade de Brasília (2014). O curso de doutorado foi concluído na área de conhecimento Ciência da Computação/Teoria da Computação; especificamente, a tese de doutorado versou sobre análise da complexidade e limitantes para problemas associados a ordenação de permutações. O mestrado e doutorado foram cursados no Programa de Pós-graduação em Matemática da Universidade de Brasília/Matemática Aplicada - Computação (Conceito 7 - avaliação atual, bem como a vigente ao término do curso de doutorado). 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).

graduate at Matematica from Universidade Federal de Goiás (2007).