Anny Beatriz Azevedo
Faço doutorado no IME-USP, trabalhando sob a supervisão do Professor Benjamin Merlin Bumpus. Durante minha graduação, estudei Teoria dos Modelos e lógica interna de topos. No mestrado, direcionei meu foco para aplicações da Teoria das Categorias em Ciência da Computação, investigando métodos de Teoria dos Feixes e de Cohomologia aplicados a problemas computacionais. Atualmente, estou interessada em usar ações de monoides e ferramentas categóricas para descrever modelos computacionais.
Instituição
Instituto de Matemática, Estatística e Ciência da Computação (IME) da Universidade de São Paulo (USP).
Formação Acadêmica
2024-2026: Mestrado em Matemática, Universidade de São Paulo (USP), São Paulo, Brasil, sob a supervisão do Professor Benjamin M. Bumpus
2026-Agora: Doutorado em Matemática, Universidade de São Paulo (USP), São Paulo, Brasil, sob a supervisão do Professor Benjamin M. Bumpus
Link para o site pessoal
annyb.azevedo (at) ime.usp.br