José Coelho de Pina Junior

Possui graduação em Bacharelado Em Matemática pela Universidade de São Paulo(1985), mestrado em Matemática Aplicada pela Universidade de São Paulo(1990) e doutorado em Econometria pela Universidade de Amsterdã(1995). Atualmente é Professor Doutor da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:Caminhos mínimos, Caminhos disjuntos em grafos, Bases de circuitos, Matroides.

Informações coletadas do Lattes em 31/10/2022

Acadêmico

Formação acadêmica

Doutorado em Econometria

1990 - 1995

Universidade de Amsterdã
Título: Applications of Shortest Path Methods
Orientador: Alexander Schrijver
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Caminhos mínimos; Caminhos disjuntos em grafos; Bases de circuitos; Matroides.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Mestrado em Matemática Aplicada

1986 - 1990

Universidade de São Paulo
Título: Estruturas Gráficas de Matrizes, Ano de Obtenção: 1990
Arnaldo Mandel.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Matroides; Programação Linear; Teoria do Grafos.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Graduação em Bacharelado Em Matemática

1982 - 1985

Universidade de São Paulo

Idiomas

Bandeira representando o idioma Inglês

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Organização de eventos

Y. Wakabayashi ; C.E. Ferreira ; C.G. Fernandes ; SILVA, M. K. C. ; José Coelho de Pina . School of Advanced Science on Algorithms, Combinatorics and Optimization. 2016. (Outro).

Participação em bancas

Aluno: Alessandra Aparecida Pereira

Christiane Neme Campos; Orlando Lee;José Coelho de Pina. Dominant Sets in Cubic Graphs. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Diogo Haruki Kykuta

C.E. Ferreira; FRANCO, A. J. P.;José Coelho de Pina. Comparação de Algoritmos para o problema dos K menores caminhos.. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Guilherme Puglia Assunção

C.E. Ferreira; M.R. Cerioli;José Coelho de Pina. Representações retangulares de grafos planares. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Pedro Henrique Simões de Oliveira

C.E. Ferreira; Maria do Socorro Nogueira Rangel;José Coelho de Pina. Planejamento de produção através do dimensionamento de lotes de itens únicos. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Álvaro Junio Pereira Franco

C.E. Ferreira; REZENDE, P. J.;José Coelho de Pina. Consultas de segmentos em janelas: algoritmos e estruturas de dados. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Maurício José de Oliveira Zambon

Pedro Jussieu de Rezende; Daniel Morgato Martin; Eduardo Candido Xavier; Fábio Luiz Usberti;José Coelho de Pina. Exact solutions for the geometric firefighter problem and variants : Soluções exatas para o problema geométrico do brigadista e variantes. 2018. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Lucas moutinho bueno

Jorge Stolfi; Daniel Morgato Martin; Christiane Neme Campos; Orlando Lee;José Coelho de Pina. Colored Triangulations of Maps. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Álvaro Junio Pereira Franco

C.E. Ferreira; M.C. Carvalho; M.R. Cerioli; LEE, ORLANDO;José Coelho de Pina. Algoritmos para junções em digrafos acíclicos e uma aplicação na Antropologia. 2013. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Rafael Veiga Pocai

C.G. Fernandes; Lehilton Lelis Chaves Pedrosa;José Coelho de Pina. Facility Location Related Problems. 2019. Exame de qualificação (Doutorando em Ciencia da Computacao) - Universidade de São Paulo.

Aluno: Mário César San Felice

F.K. Miyazawa; XAVIER, E. C.;José Coelho de Pina. Problemas de Localização de Instalações. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Heitor Reis Ribeiro

Marcel Kenji de Carli Silva; MAUA, D. D.;José Coelho de Pina. Branch-and-Bound Algorithms For Maximum-A-Posteriori Inference in Sum Product Networks. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Instituto de Matemática e Estatística - USP.

Aluno: Mateus Barros Rodrigues

C.E. Ferreira;José Coelho de Pina. Single source shortest paths in simple polygons. 2018. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Yan Soares Couto

C.G. Fernandes;José Coelho de Pina. Estruturas de dados persistentes. 2017. Exame de qualificação (Mestrando em Ciência da Computação) - Instituto de Matemática e Estatística - USP.

Aluno: Tiago Royer

ROBINS, SINAI; C.G. Fernandes;José Coelho de Pina. Ehrhart theory for real dilates of polytopes. 2017. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Joel Silva Uchoa

C.E. Ferreira; C.G. Fernandes;José Coelho de Pina. Caminhos mínimos com recursos limitados. 2010. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Christian Tjandraatmadja

C.E. Ferreira; Y. Wakabayashi;José Coelho de Pina. O problema da subsequência comum máxima sem repetições. 2009. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Pedro Henrique Simões de Oliveira

C.E. Ferreira; C.G. Fernandes;José Coelho de Pina. Problemas de Dimensionamento de Lotes. 2009. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Anderson Freitas Silva

C.E. Ferreira; Y. Wakabayashi;José Coelho de Pina. Roteamento de Veículos com restrições de comprimento nas rotas: uma aplicação em escalonamento da produção. 2009. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Álvaro Junio Pereira Franco

C.E. Ferreira; SOARES, J. A. R.;José Coelho de Pina. Algoritmos e Estruturas de Dados para Buscas em Janelas. 2008. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Wanderley Guimarães da Silva

Y. Wakabayashi; Christiane Neme Campos;José Coelho de Pina. Conjuntos Dominantes em Grafos. 2008. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Leonardo Bespalhuk Facci

C.E. Ferreira; Y. Wakabayashi;José Coelho de Pina. O problema da árvore geradora mínima com restrições nos graus. 2007. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Renato Pinheiro Freme Lopes Lucindo

Y. Wakabayashi; C.E. Ferreira;José Coelho de Pina. Partição de grafos em subgrafos conexos balanceados. 2006. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Fabricio Vertamatti

C.E. Ferreira;P. FeofiloffJosé Coelho de Pina. Problemas de Roteamento em Grafos. 2005. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Aluno: Rafael Pereira Luna

C.G. Fernandes;P. FeofiloffJosé Coelho de Pina. mplementação do Método de Aproximação Primal-Dual. 2004. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade de São Paulo.

Orientou

César Gamboa Machado

Jogos de Steiner; 2012; Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: José Coelho de Pina Junior;

[Nome removido após solicitação do usuário]

Algoritmos para o problema da árvore de Steiner com coleta de prêmios; 2012; Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP,; Orientador: José Coelho de Pina Junior;

Marcio Takashi Iura Oshiro

k-árvores de custo mínimo; 2010; Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: José Coelho de Pina Junior;

Maurício Silva de Moura

Dois caminhos disjuntos e o método de Robertson e Seymour; 2009; Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP,; Orientador: José Coelho de Pina Junior;

Juliana Barby Simão

Minimização de funções submodulares; 2009; Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: José Coelho de Pina Junior;

Fábio Pisaruk

k-menores caminhos; 2009; Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP,; Orientador: José Coelho de Pina Junior;

Marcelo Hashimoto

Bases de Hilbert; 2007; Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: José Coelho de Pina Junior;

Paulo Eduardo Azevedo Silveira

Matemática e algoritmos das dobras; 2007; Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística,; Orientador: José Coelho de Pina Junior;

Alexandre Noma

Análise Experimental de Algoritmos de Planaridade; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: José Coelho de Pina Junior;

Ana Lúcia Lima Marreiros

Algoritmos Primal-duais; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Coelho de Pina Junior;

Shigueo Isotani

Algoritmos para Caminhos Mínimos; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: José Coelho de Pina Junior;

José Osvaldo Couto Horta

Estimativas de Entropia para Seqüências de DNA; 2001; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo,; Orientador: José Coelho de Pina Junior;

Carlos Ramon Pantaleon Dionisio

Geometria Computacional de Pontos em Movimento; 2000; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Coelho de Pina Junior;

Deise Harumi Aoki

Origami computacional: construção de bases; 2006; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística; Orientador: José Coelho de Pina Junior;

Rafael Antonio Cosentino

Origami computacional: dobrar e cortar; 2006; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística; Orientador: José Coelho de Pina Junior;

Roger Ricardo Flores de Araujo

Algoritmos para Emparelhamentos; 2005; Iniciação Científica - Instituto de Matemática e Estatística; Orientador: José Coelho de Pina Junior;

Juliana Barby Simão

Fluxos em Redes; 2004; Iniciação Científica - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: José Coelho de Pina Junior;

Marcelo Hashimoto

Fluxos em Redes; 2004; Iniciação Científica - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: José Coelho de Pina Junior;

Nelson Guedes Paulo Junior

Animações para algoritmos em grafos; 2004; Iniciação Científica - Instituto de Matemática e Estatística; Orientador: José Coelho de Pina Junior;

Luciano Micheletti Hespanhol

Compressão de textos; 1997; Iniciação Científica - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Coelho de Pina Junior;

Cassio Polpo de Campos

Geometria computacional; 1997; Iniciação Científica - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: José Coelho de Pina Junior;

Paulo Yamada

Estrutura de dados e algoritmos em redes; 1996; Iniciação Científica - Instituto de Matemática e Estatística; Orientador: José Coelho de Pina Junior;

Produções bibliográficas

  • FERNANDES, CRISTINA G. ; DE PINA, JOSÉ C. ; RAMÍREZ ALFONSÍN, JORGE LUIS ; ROBINS, SINAI . Cubic Graphs, Their Ehrhart Quasi-Polynomials, and a Scissors Congruence Phenomenon. DISCRETE & COMPUTATIONAL GEOMETRY , v. 65, p. 227-243, 2021.

  • FERNANDES, CRISTINA G. ; HERNÁNDEZ-VÉLEZ, CÉSAR ; DE PINA, JOSÉ C. ; RAMÍREZ ALFONSÍN, JORGE LUIS . Counting Hamiltonian Cycles in the Matroid Basis Graph. GRAPHS AND COMBINATORICS , v. 35, p. 539-550, 2019.

  • BATISTA, DANIEL MACÊDO ; OLGUIN, GIULIANO SALCAS ; SOUZA, JACKSON JOSÉ DE ; Pina, José Coelho de ; CAMPOS, PEDRO PAULO VEZZÁ ; GNANN, WILLIAM ALEXANDRE MIURA . Processo Coletivo de reformulação curricular do BCC-IME-USP. REVISTA DE GRADUAÇÃO DA USP , v. 2, p. 127, 2017.

  • FERNANDES, CRISTINA G. ; HERNÁNDEZ-VÉLEZ, CÉSAR ; LEE, ORLANDO ; DE PINA, JOSÉ C. . Spanning trees with nonseparating paths. DISCRETE MATHEMATICS , v. 339, p. 365-374, 2016.

  • P. Feofiloff ; C.G. Fernandes ; C.E. Ferreira ; J. C. de Pina . Primal-dual approximation algorithms for the Prize-Collecting Steiner Tree Problem. Information Processing Letters , v. 103, p. 195-202, 2007.

  • MARTINEZ, F. V. ; J. C. de Pina ; SOARES, J. A. R. . Algorithms for terminal Steiner trees. Theoretical Computer Science , v. 389, p. 133-142, 2007.

  • J. C. de Pina ; SOARES, J. A. R. . Improved bound for the Carathéodory rank of the bases of a matroid. Journal of Combinatorial Theory. Series B , EUA, v. 88, n.2, p. 323-327, 2003.

  • J. C. de Pina ; H. van der Holst . Length-bounded disjoint paths in planar graphs. Discrete Applied Mathematics , EUA, v. 120, n.1-3, p. 251-161, 2002.

  • J. C. de Pina ; SOARES, J. A. R. ; C.G. Fernandes ; F.K. Miyazawa ; M.C. Carvalho ; M.R. Cerioli ; P. Feofiloff ; R. Dahab ; Y. Wakabayashi ; C.E. Ferreira . Uma Introdução Sucinta a Algoritmos de Aproximação. 1. ed. Rio de Janeiro: Publicações Matemáticas do IMPA, 2001. v. 1. 157p .

  • C.G. Fernandes ; J. C. de Pina . Convite à Geometria Computacional. In: André C.P.L.F. de Carvalho; Tomasz Kowaltowski. (Org.). JAI - XXVIII Jornadas de Atualização em Informática. Rio de Janeiro: PUC-Rio, 2009, v. XXVIII, p. 331-380.

  • CARVALHO, HENRIQUE ARAÚJO DE ; RIBEIRO, JORGE MIGUEL ; BATISTA, DANIEL MACÊDO ; Pina, José Coelho de . Análise de Desempenho de uma Ferramenta para Visualização de Hashes em Dispositivos Móveis. In: Anais Estendidos do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2021, Brasil. Anais Estendidos do XXI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg Estendido 2021). p. 248.

  • RIBEIRO, J. M. ; BATISTA, D. M. ; J. C. de Pina . hashify: Uma Ferramenta para Visualização de Hashes com Animações. In: Salão de Ferramentas do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2020, Petrópolis. Anais Estendidos do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2020.

  • BATISTA, D. M. ; OLGUIN, G. S. ; SOUZA, J. J. ; Pina, José Coelho de ; CAMPOS, P. P. V. ; GNANN, W. A. M. . Nova grade curricular do BCC-IME-USP.. In: 23o. Workshop sobre Educação em Computação (WEI 2015), 2015, Recife. Anais do 23o. Workshop sobre Educação em Computação (WEI 2015) - XXXV Congresso da Sociedade Brasileira de Computação (CSBC 2015),, 2015. p. 10-1.

  • J. C. de Pina ; J.M. Boyer ; C.G. Fernandes ; A. Noma . Lempel, Even, and Cederbaum Planarith Method. In: Third International Workshop in Experimental Algorithms, 2004, Angra dos Reis. Lecture Notes in Computer Science. Berlim: Springer, 2004. v. 3059. p. 129-144.

  • J. C. de Pina ; MARTINEZ, F. V. ; SOARES, J. A. R. . Algorithms for Terminal Steiner Trees. In: Computing and Combinatorics: 11th Annual International Conference (COCOON), 2005. Lecture Notes in Computer Science. Heidelberg: Springer, 2005. v. 3595. p. 369-379.

  • J. C. de Pina ; SOARES, J. A. R. . A new bound for the Carathéodry rnak of the bases of a matroid. In: ACM-SIAM Symposium on Discrete Algorithms, 2000, São Francisco. Proceedings of the 11th ACM-SIAM Symposium on Discrete Algorithms, 2000. p. 642-643.

  • BATISTA, D. M. ; OLGUIN, G. S. ; SOUZA, J. J. ; J. C. de Pina ; CAMPOS, P. P. V. ; GNANN, W. A. M. . Reformulação do BCC-IME-USP. 2015. (Apresentação de Trabalho/Congresso).

Outras produções

J. C. de Pina ; H. van der Holst ; C.G. Fernandes . Multilength single pair shortest disjoint paths. 2004.

J. C. de Pina ; SOARES, J. A. R. . On the integer cone of the bases of a matroid. 1998.

J. C. de Pina . Integral solutions to systems $Ax \leq b$. 1992.

Prêmios

2016

Professor Homenageado das(os) formandas(os) do curso de Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística, USP.

2015

Paraninfo das(os) formandas(os) do curso de Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística, USP.

2015

Menção honrosa (5 melhores artigos) no XXIII Workshop sobre Educação em Computação (WEI) CSBC 2015 pelo artigo "Nova grade curricular do BCC-IME-USP, SBC.

2014

Paraninfo das(os) formandas(os) do curso de Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística, USP.

2013

Professor Homenageado das(os) formandas(os) do curso de Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística, USP.

2013

Menção Honrosa no Programa Ensinar com Pesquisa com o trabalho "Apoio ao BCC- projetos educacionais para o Bacharelado em Ciência de Computação, Pró-Reitoria de Graduação, Universidade de São Paulo.

2012

Professor Homenageado das(os) formandas(os) do curso de Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística, USP.

2010

Paraninfo das(os) formandas(os) do curso de Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística, USP.

2009

Professor Homenageado das(os) formandas(os) do curso de Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística, USP.

2008

Paraninfo das(os) formandas(os) do curso de Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística, USP.

2005

Professor Homenageado das(os) formandas(os) do curso de Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística, USP.

2004

Professor Homenageado das(os) formandas(os) do curso de Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística, USP.

2000

Professor Homenageado das(os) formandas(os) do curso de Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística, USP.

Histórico profissional

Endereço profissional

  • Universidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação. , Rua do Matão 1010, Sala 4, Bloco C, Butantã, 05508-090 - Sao Paulo, SP - Brasil, Telefone: (11) 30915176, Fax: (11) 30916134, URL da Homepage:

Experiência profissional

1995 - Atual

Universidade de São Paulo

Vínculo: Outro, Enquadramento Funcional: Professor Doutor, Carga horária: 40

1990 - 1995

Universidade de São Paulo

Vínculo: Outro, Enquadramento Funcional: Professor assistente, Carga horária: 40, Regime: Dedicação exclusiva.

1987 - 1990

Universidade de São Paulo

Vínculo: Outro, Enquadramento Funcional: Auxiliar de Ensino, Carga horária: 40

Atividades

  • 03/1996

    Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, MAC 5771 Teoria do Grafos, MAC 5747 Geometria Computacional, MAC 5722 Introdução à Teria da Complexidade Computacional, MAC 5828 Tópicos em Complexidade Computacional

  • 01/1987

    Pesquisa e desenvolvimento, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.,Linhas de pesquisa

  • 01/1987

    Ensino,,Disciplinas ministradas, MAC 110 Introdução à Computação, MAC 122 Princípos de Desenvolvimento de Algoritmos, MAC 115 Introdução à Computação para ciências Exatas e Tecnologia, MAC 310 Matemática Concreta, MAC 315 Programação Linear, MAC 328 Algoritmos em Grafos, MAC 374 Noções de Estrtuturas de Dados para Engenharia