Alexandre Garcia de Oliveira

graduation at Processamento de Dados from Faculdade de Tecnologia da Baixada Santista (Santos/SP) (2006), graduation at Matemática from Universidade de São Paulo (2012), master's at Mathematics from Universidade de São Paulo (2015) and doctorate at Computer Science from Universidade de São Paulo (2023). Has experience in Computer Science, focusing on Programming Languages, acting on the following subjects: programação funcional, type theory and category theory. (Source: Lattes Curriculum)