Vinicius Cifú Lopes
Possui doutorado em Matemática pela Universidade do Illinois em Urbana-Champaign (2009) e é docente na Universidade Federal do ABC (2010).
Informações coletadas do Lattes em 11/08/2025
Acadêmico
Formação acadêmica
Doutorado em Mathematics
2005 - 2009
University Of Illinois At Urbana-Champaign
Título: Grothendieck Semirings and Definable Endofunctions
Orientador: Lou van den Dries
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Mestrado em Matemática
2003 - 2005
Universidade de São Paulo
Título: Teoria dos Modelos e a Conjectura de Mordell-Lang
Orientador: Francisco Miraglia Neto
, Ano de Obtenção: 2005.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Graduação em Bacharelado Em Matemática
2000 - 2003
Universidade de São Paulo
Orientador: Francisco Miraglia Neto
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Organização de eventos
LIMA, M. F. ; DIAS, R. R. ; CAPUTI, A. ; BOERO, A. C. ; OLIVEIRA, R. R. D. V. ; DONADELLI JUNIOR, J. ; SILVA, E. C. ; SILVA, I. A. M. ; LOPES, Vinicius Cifú . Estande do ProfMat no UFABC Para Todos 2023. 2023. .
Lopes, Vinicius Cifú . Semana da Ética Pública. 2016. (Congresso).
MARIANO, H. L. ; Lopes, Vinicius Cifú ; Coniglio, M. E. . Logic and Applications: in honor to Francisco Miraglia by the occasion of his 70th birthday. 2016. (Congresso).
Participação em eventos
First Workshop Studies in Mathematical Logic.An instability chaining algorithm for the general course enrollment problem. 2019. (Oficina).
IV Semana do CMCC.Os prazeres de calcular e programar com pilha: perca o medo de ler e escrever em RPN. 2018. (Encontro).
First Workshop Foundations of Mathematics and Applications.The general course enrollment problem and an iterated Gale-Shapley approach. 2017. (Oficina).
First Joint Meeting Brazil-Italy in Mathematics.Gale-Shapley-Roth algorithms and a course enrollment problem. 2016. (Encontro).
16th Latin American Symposium on Mathematical Logic.Issues in introducing logic and model theory to freshmen. 2014. (Simpósio).
15th Latin American Symposium on Mathematical Logic.Pseudofinite and pseudocompact metric structures. 2012. (Simpósio).
AMS Spring Central Sectional Meeting.The Grothendieck semiring of the group of complex roots of unity. 2009. (Encontro).
Graduate Student Conference in Logic.A sheaf of reduced products. 2009. (Outra).
Urbana at Lyon.Questions on Euler characteristics and definable endofunctions. 2009. (Simpósio).
Midwest Model Theory Meeting.The Grothendieck semiring and the definable endofunctions of vector spaces. 2008. (Encontro).
Participação em bancas
BIANCONI, R.;Coniglio, M. E.LOPES, Vinicius Cifú. Simplicidade e Poder Expressivo da Geometria Taskiana. 2019. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
MARIANO, H. L.Coniglio, M. E.LOPES, Vinicius Cifú. Lógica de Topos e Aplicações. 2019. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
BIANCONI, R.;Coniglio, M. E.LOPES, Vinicius Cifú. Cohomologia de Feixes em Estruturas O-Minimais. 2018. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
MACHADO, D. M.BASSANEZI, R. C.LOPES, Vinicius Cifú. Modelagem e Controle Fuzzy. 2017. Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC.
MARIANO, H. L.MIRAGLIA NETO, F.Lopes, Vinicius Cifú. Elementos da Teoria Algébrica das Formas Quadráticas e de seus Anéis Graduados. 2015. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
CARNIELLI, W. A.;Coniglio, M. E.MARIANO, H. L.; ALMEIDA, E. L. B.;LOPES, Vinicius Cifú. Estudo Comparado do Comprometimento Ontológico das Teorias de Classes e Conjuntos. 2019. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
GALEGO, E. M.; BIANCONI, R.; AURICHI, L. F.; SILVA, A. R.;LOPES, Vinicius Cifú. Versões Não Lineares e Vetoriais do Teorema de Banach-Stone. 2019. Tese (Doutorado em Matemática) - Universidade de São Paulo.
MARIANO, H. L.; BIANCONI, R.;Coniglio, M. E.LOPES, Vinicius Cifú; ARNDT, P.. Alguns Aspectos Lógicos e Algébricos dos Anéis $C^\infty$. 2018. Tese (Doutorado em Matemática) - Universidade de São Paulo.
BIANCONI, R.; MIRAGLIA, F.;MARIANO, H. L.LOPES, Vinicius Cifú. O-minimal de Rham Cohomology. 2017. Tese (Doutorado em Matemática) - Universidade de São Paulo.
OLIVEIRA JUNIOR, A. P.; FIORENTINI, D.; DRUCK, I. F.;LOPES, Vinicius Cifú. Matemática - Ensino de Matemática. 2018. Universidade Federal do ABC.
SOUZA, E. G.FEITOSA, H. A.LOPES, Vinicius Cifú. Filosofia - Lógica e Filosofia da Lógica. 2016. Universidade Federal do ABC.
Orientou
Formalismo e Alguns Reflexos da Teoria dos Conjuntos; 2023; Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC, ; Orientador: Vinicius Cifú Lopes;
A Fórmula do Cadarço; 2022; Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC, ; Orientador: Vinicius Cifú Lopes;
Técnicas de Resolução e Embasamento Teórico de Equações Funcionais; 2021; Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC, ; Orientador: Vinicius Cifú Lopes;
Aspectos Lógicos da Axiomática da Geometria Plana; 2018; Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC, ; Orientador: Vinicius Cifú Lopes;
Um Breve Estudo Sobre Funções e Séries de Taylor; 2017; Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Vinicius Cifú Lopes;
Números Aleatórios: Geração, Qualidade e Aplicações; 2016; Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC, ; Orientador: Vinicius Cifú Lopes;
Curvas Planas: Clássicas, Regulares e de Preenchimento; 2016; Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Vinicius Cifú Lopes;
Some Aspects of Introductory Continuous Logic; 2015; Dissertação (Mestrado em Matemática) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Vinicius Cifú Lopes;
Introdução ao Estudo dos Corpos Ordenados; 2015; Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Vinicius Cifú Lopes;
Uma Introdução às Lógicas Clássica e Modal e Alguns Métodos de Dedução; 2015; Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Vinicius Cifú Lopes;
Introdução ao Cálculo de Predicados; 2024; Iniciação Científica; (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Vinicius Cifú Lopes;
Teoria dos Grafos a partir de Algoritmos e Acoplamentos; 2020; Iniciação Científica; (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Vinicius Cifú Lopes;
Complexidade computacional de vestibulares e matrículas; 2020; Iniciação Científica; (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Vinicius Cifú Lopes;
Algoritmo Probabilístico para Resolução de Instabilidades; 2019; Iniciação Científica; (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Vinicius Cifú Lopes;
Técnicas de compressão para introdução à computação; 2017; Iniciação Científica; (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Vinicius Cifú Lopes;
Introdução à lógica matemática e computação; 2016; Iniciação Científica; (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Vinicius Cifú Lopes;
Elementos de teoria dos números a partir da criptografia; 2016; Iniciação Científica; (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Vinicius Cifú Lopes;
Teoria de emparelhamento e introdução à otimização; 2015; Iniciação Científica; (Graduando em Ciências e Humanidades) - Universidade Federal do ABC, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Vinicius Cifú Lopes;
Paradoxos e soluções na teoria dos conjuntos; 2015; Iniciação Científica; (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Vinicius Cifú Lopes;
Introdução às álgebras de Boole e aplicações; 2015; Iniciação Científica; (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Vinicius Cifú Lopes;
Introdução à lógica clássica e variantes; 2014; Iniciação Científica; (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Vinicius Cifú Lopes;
Objetos matemáticos usados em modelagem epidemiológica; 2014; Iniciação Científica; (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Vinicius Cifú Lopes;
Teorização matemática dos procedimentos para combinações de cores de tintas; 2013; Iniciação Científica; (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC; Orientador: Vinicius Cifú Lopes;
Produções bibliográficas
-
GOLDBRING, I. ; LOPES, Vinicius Cifú . Pseudofinite and Pseudocompact Metric Structures. Notre Dame Journal of Formal Logic , v. 56, p. 493-510, 2015.
-
Lopes, Vinicius Cifú . Reduced products and sheaves of metric structures. Mathematical Logic Quarterly , v. 59, p. 219-229, 2013.
-
LOPES, Vinicius Cifú . Interpretação das Velocidades Relativa e de Afastamento no Cálculo Básico. Educação Matemática em Revista (São Paulo) , v. 31, p. 39-43, 2013.
-
Lopes, Vinicius Cifú . Poor triviality and the sameness of Grothendieck semirings. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY , v. 140, p. 1445-1448, 2012.
-
Dries, Lou van den ; Vinicius C. L. . Invariant measures on groups satisfying various chain conditions. The Journal of Symbolic Logic , v. 76, p. 209-226, 2011.
-
Vinicius C. L. . Euler characteristics for strongly minimal groups and the eq-expansions of vector spaces. The Journal of Symbolic Logic , v. 76, p. 235-242, 2011.
-
Dries, Lou van den ; Vinicius C. L. . Division rings whose vector spaces are pseudofinite. The Journal of Symbolic Logic , v. 75, p. 1087-1090, 2010.
-
GUBITOSO, A. G. ; LOPES, Vinicius Cifú . Alocações, Estabilidade e Otimização: uma introdução passo a passo. 1. ed. São Bernardo do Campo: Editora da Universidade Federal do ABC, 2017.
-
LOPES, Vinicius Cifú . Equações Diferenciais Ordinárias na Graduação. 1. ed. Rio de Janeiro: Ciência Moderna, 2015.
-
TEIXEIRA, Luana Mara Almeida ; LIMA, Maria Flávia Batista ; BERNARDI, Natália Zoboli ; PONCHIO, Rita Aparecida ; LOPES, Vinicius Cifú . Inserção Universitária 2013. 1. ed. Universidade Federal do ABC, 2013.
Outras produções
LOPES, Vinicius Cifú . O DINHEIRO CONTADO. 2020. (Desenvolvimento de material didático ou instrucional - E-book).
Coniglio, M. E. ; MARIANO, H. L. ; LOPES, Vinicius Cifú . South American Journal of Logic - A Festschrift for Francisco Miraglia. 2016. (Editoração/Coletânea).
Projetos de pesquisa
-
2021 - Atual
Tópicos de Educação Matemática Superior e do Problema das Matrículas, Descrição: Este projeto dá seguimento a algumas linhas do anterior "Lógica e Aplicações da Matemática" e também inicia novos temas de pesquisa. (1) Pretendemos explorar o problema mais geral da educação matemática do nível superior, com aplicação imediata ao trabalho formativo realizado nas disciplinas de matemática da própria Universidade. Aqui, identificamos dois "saltos de qualidade" que o estudante enfrenta: além da transposição da matemática escolar para aquela realizada no cálculo, também desta para a matemática mais abstrata e acadêmica, de estruturas variadas e estratificadas. (2) Conecta-se, com essa preocupação, a linha de questões ultramodernas e relevantes da filosofia da matemática: como essa ciência é praticada e como é aplicada; como o estudante universitário, ingressante ou veterano, pode aproveitar e apropriar-se dessa prática; qual garantia a matemática oferece de seus resultados, ou seja, da aderência de sua interpretação nas aplicações. (3) A respeito do problema das matrículas na UFABC, pretendemos (i) o desenvolvimento de uma metodologia para avaliação de alocações e, com base nela, (ii) a otimização de um algoritmo baseado no de Roth e Peranson, por meio do ajuste das repescagens. Também investigamos a complexidade desse problema em termos teóricos, objetivando uma demonstração de sua NP-completude.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Vinicius Cifú Lopes - Coordenador.
-
2015 - 2021
Lógica e Aplicações da Matemática, Descrição: Os tópicos centrais estão vinculados à lógica matemática, em que estudamos características de Euler e semianéis de Grothendieck, injeção-sobrejeção de endofunções, pseudofinitude e aspectos da nova lógica contínua. Dessa área, derivam-se esforços a respeito da educação lógica e o currículo fundacional da matemática na educação básica e na superior, assim como pesquisas acadêmicas também em epistemologia e filosofia da matemática. Outros temas advêm de orientações e participações acadêmicas diversas, mas estão alinhados entre si e com os primeiros em torno de um mesmo eixo: (a) emparelhamentos estáveis, vistos como objeto pedagógico, como assunto interdisciplinar envolvendo a economia, a computação, a combinatórica e a lógica, tendo questões importantes em aberto, e com aplicação ao processo de matrícula quadrimestral da UFABC; (b) combinações de tintas capilares em razão da cor do substrato e da descoloração ao longo do tempo; (c) estímulos à inovação por meio de procedimentos de seleção e administração; (d) a cooperação social e autoral na produção, preservação, organização e disponibilização de conhecimento.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Mestrado profissional: (1) . , Integrantes: Vinicius Cifú Lopes - Coordenador., Número de produções C, T & A: 15
Prêmios
2003
Prêmio Instituto de Matemática e Estatística, Instituto de Matemática e Estatística da Universidade de São Paulo.
Histórico profissional
Endereço profissional
-
Universidade Federal do ABC, Centro de Matemática, Computação e Cognição. , Alameda da Universidade (UFABC), Anchieta, 09606045 - São Bernardo do Campo, SP - Brasil, Telefone: (11) 23206300, URL da Homepage: ,
Experiência profissional
2010 - Atual
Universidade Federal do ABCVínculo: Servidor Público, Enquadramento Funcional: Professor do Magistério Superior, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
03/2023
Conselhos, Comissões e Consultoria, Comitê Estratégico de Tecnologia da Informação e Comunicação.,Cargo ou função, Representante docente.
-
05/2021
Conselhos, Comissões e Consultoria, EdUFABC.,Cargo ou função, Membro do Conselho Editorial da EdUFABC.
-
05/2016 - 04/2018
Direção e administração, Pró-Reitoria de Pós-Graduação.,Cargo ou função, Coordenador do Programa de Pós-graduação em Matemática.
-
06/2012 - 01/2014
Direção e administração, Pró-Reitoria de Graduação.,Cargo ou função, Coordenador de programas tutoriais da graduação.
-
05/2012 - 01/2014
Conselhos, Comissões e Consultoria, Comissão de Ética.,Cargo ou função, Conselheiro.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Vinicius Cifú Lopes e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?