Ao concluir este trabalho, agradeço a Deus, em primeiro lugar, pelas oportunidades e pessoas com quem compartilhei o período da pós-graduação.Aos meus pais, Aidê e Jorge, que me transmitiram os valores que sustentam a minha resiliência e busca pela independência pessoal através dos estudos, da perseverança e da fé. Ao meu marido, Douglas, que me proveu apoio ininterrupto, compartilhando com carinho e respeito do processo de constante aprimoramento. À minha irmã, Nayane, e ao meu cunhado, Rafael, por terem feito parte deste processo, me ouvindo e gerando momentos de descontração.Ao meu amigo e coautor, Pedro, que dividiu, desde o primeiro semestre, as dificuldades de cada estágio da nossa formação como pesquisadores no Brasil. Obrigada por ter sido meu olhar pragmático e pela atenção à minha saúde mental. Ao meu amigo e coautor, Robson, pela paciência em transmitir os seus conhecimentos de álgebra e reticulados. A sua colaboração foi essencial para a conclusão desta tese.Aos meus orientadores, Prof. Ricardo Dahab e Prof. Diego F. Aranha, pelas oportunidades, apoio e sabedoria. Aos colegas dos laboratórios LASCA e LMCAD no IC/Unicamp pela companhia no dia a dia e nas conferências, e pelas conversas e diversos cafés. Aos demais professores e funcionários do IC, pelo convívio e todo o apoio operacional.A todos que direta ou indiretamente contribuíram para a realização deste trabalho.