Rank: 15
Guilherme Vicentin De Toledo
Possui doutorado em lógica pela Universidade Estadual de Campinas (2022). Tem experiência nas áreas de Lógica e Ciência da Computação, atuando principalmente nos seguintes temas: semânticas não-determinísticas, lógicas paraconsistentes, multiálgebras, satisfabilidade módulo teorias, combinação de teorias e teorias de modelos multissortida. Site pessoal: https://guilhermevtoledo.wordpress.com
Informações Gerais
- Nome Completo: Guilherme Vicentin De Toledo
- ID Lattes: 7154599131978016
- Categoria:
- Tipo Bolsa CNPq:
- Categoria Bolsa CNPq:
- Períodos: ['2016-2017']
- Subgrupo: discentes
- Período(s) de análise: 2016-2017
- Endereço: . . CEP - , .
Áreas de Atuação
Ciências Humanas → Filosofia → Lógica
Ciências Exatas e da Terra → Matemática → Álgebra
Ciências Exatas e da Terra → Matemática → Álgebra → Lógica Matemática
Ciências Exatas e da Terra → Matemática → Álgebra → Teoria dos Números
Formação Acadêmica
Graduação
Matemática
Universidade Estadual de Campinas
2012-2015
Mestrado
Matemática
Universidade Estadual de Campinas
2016-2017
Doutorado
Filosofia
Universidade Estadual de Campinas
2018-2022
Pós-doutorado
Universität Saarbrücken
2024-2024
Pós-doutorado
Bar-Ilan University
2022-
Atenção: As informações de produção listadas a seguir referem-se exclusivamente ao período de análise considerado no presente relatório, bem como ao período, ou períodos, em que o membro esteve na instituição. Para verificar a produção completa do membro, consulte o seu Currículo Lattes.