Samuel Gomes da Silva

bachelor's at Licenciatura em Matemática from Instituto de Matemática e Estatística (1995), master's at Matemática from Instituto de Matemática e Estatística (1998) and doctorate at Matemática from Instituto de Matemática e Estatística (2004). Has experience in Mathematics, acting on the following subjects: resultados de consistência e independência, fundamentos da matemática, axioma da escolha, axiomática de zfc and propriedade (a).

é Licenciado em Matemática pelo Instituto de Matemática e Estatística/USP (1995), possui mestrado em Matemática pelo Instituto de Matemática e Estatística/USP (1998, orientador Prof. Dr. Stavros Christodoulou) e doutorado em Matemática pelo Instituto de Matemática e Estatística/USP (2004, orientadora Profa. Dra. Lucia Renato Junqueira). Atualmente é professor titular da Universidade Federal da Bahia. Esteve em afastamento para estágio pós-doutoral no Instituto de Matemáticas da UNAM, México, Campus Morelia (maio 2010 a fevereiro 2011, bolsista CAPES), trabalhando sob a supervisão do Dr. Michael Hrusák. Atua na área de Matemática, com ênfase em Teoria dos Conjuntos e Topologia Conjuntística, atuando principalmente nos seguintes temas: propriedades topológicas definidas em termos de coberturas abertas, propriedade (a), propriedades de cobertura definidas por estrelas e suas versões seletivas, resultados de consistência e independência, pequenos cardinais, cardinais inacessíveis, invariantes cardinais, funções cardinais, combinatória infinitária, estruturas e princípios combinatórios, Axioma da Escolha e proposições relacionadas, Hipótese do Contínuo e Axioma de Martin, interações entre a Teoria das Categorias e a Teoria dos Conjuntos. É líder do Grupo de Pesquisa em Lógica, Conjuntos e Topologia do Instituto de Matemática da UFBA, registrado no CNPq, desde 2008. Em 2011 foi eleito membro da Diretoria da Sociedade Brasileira de Lógica (para o triênio 2011-2014) e também foi indicado como membro do Comitê Editorial da Revista Matemática Universitária da SBM (na posição de editor associado). Em 2014 foi reeleito membro da Diretoria da Sociedade Brasileira de Lógica (para o triênio 2014-2017). Esteve em visita científica à Universidade de Barcelona entre Dezembro de 2014 e Fevereiro de 2015, com o apoio do Projeto MaToMUVI (European FP7-IRSES/Marie Curie GA-2009-247584), trabalhando em colaboração com o Dr. Joan Bagaria. Em 2015 aceitou indicação para participar da Câmara de Ciências Matemáticas e Naturais da Fundação de Amparo à Ciência no Estado da Bahia (FAPESB), tendo participado dessa Câmara até 2019. Em maio de 2017 foi reeleito membro da Diretoria da Sociedade Brasileira de Lógica (para o biênio 2017-2019), agora no cargo de 2o. Vice-Presidente. Entre Novembro de 2018 e Junho de 2019 esteve em afastamento para pós-doutoramento no exterior (Bolsa Professor Visitante no Exterior da CAPES), trabalhando em colaboracao com o Dr Joan Bagaria na Universitat de Barcelona. Em maio de 2019 foi reeleito membro da Diretoria da Sociedade Brasileira de Lógica (para o biênio 2019-2021), novamente no cargo de 2o. Vice-Presidente