Vinicius Cifú Lopes

  • Endereço para acessar este CV: http://lattes.cnpq.br/7243265106529400
  • Última atualização do currículo em 21/10/2018


Possui doutorado em Matemática pela Universidade do Illinois em Urbana-Champaign (2009) e é docente na Universidade Federal do ABC (2010). (Texto informado pelo autor)


Identificação


Nome
Vinicius Cifú Lopes
Nome em citações bibliográficas
Vinicius C. L.;Cifú Lopes, Vinicius;Lopes, Vinicius Cifú;LOPES, Vinicius Cifú

Endereço


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: http://hostel.ufabc.edu.br/~vinicius


Formação acadêmica/titulação


2005 - 2009
Doutorado em Mathematics.
University of Illinois at Urbana-Champaign, UIUC, Estados Unidos.
Título: Grothendieck Semirings and Definable Endofunctions, Ano de obtenção: 2009.
Orientador: Lou van den Dries.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
2003 - 2005
Mestrado em Matemática.
Universidade de São Paulo, USP, Brasil.
Título: Teoria dos Modelos e a Conjectura de Mordell-Lang,Ano de Obtenção: 2005.
Orientador: Francisco Miraglia Neto.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
2000 - 2003
Graduação em Bacharelado Em Matemática.
Universidade de São Paulo, USP, Brasil.
Orientador: Francisco Miraglia Neto.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.




Atuação Profissional



Universidade Federal do ABC, UFABC, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor do Magistério Superior, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

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.


Projetos de pesquisa


2015 - Atual
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: Em andamento; 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: 6 / Número de orientações: 5


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.
2.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Fundamentos/Especialidade: Teoria dos Modelos.


Prêmios e títulos


2003
Prêmio Instituto de Matemática e Estatística, Instituto de Matemática e Estatística da Universidade de São Paulo.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
GOLDBRING, I.2015 GOLDBRING, I. ; LOPES, Vinicius Cifú . Pseudofinite and Pseudocompact Metric Structures. Notre Dame Journal of Formal Logic, v. 56, p. 493-510, 2015.

2.
Lopes, Vinicius Cifú2013 Lopes, Vinicius Cifú. Reduced products and sheaves of metric structures. Mathematical Logic Quarterly, v. 59, p. 219-229, 2013.

3.
LOPES, Vinicius Cifú2013LOPES, 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.

4.
Lopes, Vinicius Cifú2012 Lopes, Vinicius Cifú. Poor triviality and the sameness of Grothendieck semirings. Proceedings of the American Mathematical Society, v. 140, p. 1445-1448, 2012.

5.
Dries, Lou van den2011Dries, 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.

6.
Vinicius C. L.2011Vinicius 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.

7.
Dries, Lou van den2010Dries, Lou van den ; Vinicius C. L. . Division rings whose vector spaces are pseudofinite. The Journal of Symbolic Logic, v. 75, p. 1087-1090, 2010.

Livros publicados/organizados ou edições
1.
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.

2.
LOPES, Vinicius Cifú. Equações Diferenciais Ordinárias na Graduação. 1. ed. Rio de Janeiro: Ciência Moderna, 2015.

3.
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.


Produção técnica

Demais tipos de produção técnica
1.
Coniglio, M. E. ; MARIANO, H. L. ; LOPES, Vinicius Cifú . South American Journal of Logic - A Festschrift for Francisco Miraglia. 2016. (Editoração/Coletânea).



Patentes e registros



Programa de computador
1.
LOPES, Vinicius Cifú; SANTOS, D. S. . SAMUNIDET HAIR DYE CALC. 2015.
Patente: Programa de Computador. Número do registro: BR512014000807-0, data de registro: 27/01/2015, título: "SAMUNIDET HAIR DYE CALC" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

2.
LOPES, Vinicius Cifú; GUBITOSO, A. G. . TOBOGGAN CASCADING MATCHMAKER. 2017.
Patente: Programa de Computador. Número do registro: BR512018001231-0, data de registro: 19/06/2017, título: "TOBOGGAN CASCADING MATCHMAKER" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

3.
LOPES, Vinicius Cifú; SANTOS, D. S. . SAMUNIDET PLUS HAIR DYE CALC. 2017.
Patente: Programa de Computador. Número do registro: BR512018001228-0, data de registro: 12/06/2017, título: "SAMUNIDET PLUS HAIR DYE CALC" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
MACHADO, D. M.; BASSANEZI, R. C.; LOPES, Vinicius Cifú. Participação em banca de José Luis Costa. Modelagem e Controle Fuzzy. 2017. Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC.

2.
MARIANO, H. L.; MIRAGLIA NETO, F.; Lopes, Vinicius Cifú. Participação em banca de Duílio Ferreira Santos. 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.

Teses de doutorado
1.
BIANCONI, R.; MIRAGLIA, F.; MARIANO, H. L.; LOPES, Vinicius Cifú. Participação em banca de Rodrigo Figueiredo. O-minimal de Rham Cohomology. 2017. Tese (Doutorado em Matemática) - Universidade de São Paulo.



Participação em bancas de comissões julgadoras
Concurso público
1.
OLIVEIRA JUNIOR, A. P.; FIORENTINI, D.; DRUCK, I. F.; LOPES, Vinicius Cifú. Matemática - Ensino de Matemática. 2018. Universidade Federal do ABC.

2.
SOUZA, E. G.; FEITOSA, H. A.; LOPES, Vinicius Cifú. Filosofia - Lógica e Filosofia da Lógica. 2016. Universidade Federal do ABC.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
First Workshop Foundations of Mathematics and Applications.The general course enrollment problem and an iterated Gale-Shapley approach. 2017. (Oficina).

2.
First Joint Meeting Brazil-Italy in Mathematics.Gale-Shapley-Roth algorithms and a course enrollment problem. 2016. (Encontro).

3.
16th Latin American Symposium on Mathematical Logic.Issues in introducing logic and model theory to freshmen. 2014. (Simpósio).

4.
15th Latin American Symposium on Mathematical Logic.Pseudofinite and pseudocompact metric structures. 2012. (Simpósio).

5.
AMS Spring Central Sectional Meeting.The Grothendieck semiring of the group of complex roots of unity. 2009. (Encontro).

6.
Graduate Student Conference in Logic.A sheaf of reduced products. 2009. (Outra).

7.
Urbana at Lyon.Questions on Euler characteristics and definable endofunctions. 2009. (Simpósio).

8.
Midwest Model Theory Meeting.The Grothendieck semiring and the definable endofunctions of vector spaces. 2008. (Encontro).


Organização de eventos, congressos, exposições e feiras
1.
Lopes, Vinicius Cifú. Semana da Ética Pública. 2016. (Congresso).

2.
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).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Denis Martins. Aspectos Lógicos da Axiomática da Geometria Plana. 2018. Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC, . Orientador: Vinicius Cifú Lopes.

2.
Claudinei Martins Bastos. 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.

3.
Cesar Augusto Rosa. Números Aleatórios: Geração, Qualidade e Aplicações. 2016. Dissertação (Mestrado em ProfMat) - Universidade Federal do ABC, . Orientador: Vinicius Cifú Lopes.

4.
Francisco Everton Pereira Maia. 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.

5.
Edgar Omar Otiniano Malca. 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.

6.
Samuel Xavier Ribeiro. 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.

7.
Kleber Custódio. 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.

Iniciação científica
1.
Felipe Maravalli Adorne. Algoritmo Probabilístico para Resolução de Instabilidades. 2018. Iniciação Científica. (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC. Orientador: Vinicius Cifú Lopes.

2.
João Miguel Moreno Ferreira Lima. 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.

3.
Luísa Di Bonito Baiocato. 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.

4.
Christian Barbosa Hashimoto. 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.

5.
Aline Guarnieri Gubitoso. 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.

6.
Ibis Cezário Lourenço. 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.

7.
Tamires Corrêa Marçal. 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.

8.
Felipe Pinheiro Sousa. 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.

9.
Rodolfo Cesar Macedo Soares. 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.

10.
Denis da Silva Santos. 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.



Inovação



Programa de computador registrado
1.
LOPES, Vinicius Cifú; SANTOS, D. S. . SAMUNIDET HAIR DYE CALC. 2015.
Patente: Programa de Computador. Número do registro: BR512014000807-0, data de registro: 27/01/2015, título: "SAMUNIDET HAIR DYE CALC" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

2.
LOPES, Vinicius Cifú; GUBITOSO, A. G. . TOBOGGAN CASCADING MATCHMAKER. 2017.
Patente: Programa de Computador. Número do registro: BR512018001231-0, data de registro: 19/06/2017, título: "TOBOGGAN CASCADING MATCHMAKER" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

3.
LOPES, Vinicius Cifú; SANTOS, D. S. . SAMUNIDET PLUS HAIR DYE CALC. 2017.
Patente: Programa de Computador. Número do registro: BR512018001228-0, data de registro: 12/06/2017, título: "SAMUNIDET PLUS HAIR DYE CALC" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.


Projetos de pesquisa


Educação e Popularização de C & T



Artigos
Artigos completos publicados em periódicos
1.
LOPES, Vinicius Cifú2013LOPES, 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.


Livros e capítulos
1.
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.

2.
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.




Página gerada pelo Sistema Currículo Lattes em 22/10/2018 às 24:19:41