Foundations of Computer Science:
Combinatorial Algorithms and Discrete Structures

Projeto Temático ProNEx - FAPESP/CNPq Proc. No. 2003/09925-5


Orientações (janeiro de 2007 a março de 2008)

Pós-doutorados

  1. Christiane Neme Campos, Dra. UNICAMP [Supervisora: Y. Wakabayashi/IME-USP]. Título do projeto: Aspectos Teóricos, Estruturais e de Otimização de Alguns Problemas em Grafos. Bolsista posdoc FAPESP desde abril de 2007.

  2. Gordana Manic, Dra. USP [Supervisor: C.C. de Souza /IC-UNICAMP]. Título do projeto: Modelagem Matemática e Aplicações de Problemas de Otimização Relativos à Busca de Subgrafos com Estruturas Comuns. Bolsista posdoc FAPESP desde setembro de 2006 (proc. 2006/01817-7).

  3. Maya Jakobine Stein, Dr. rer. nat., Universität Hamburg, Alemanha [Supervisor: Y. Kohayakawa/IME-USP]. Título do projeto: Finite and Infinite Problems in Graph and Hypergraph Theory. Bolsista posdoc FAPESP desde Outubro 2005.

  4. Carlos Hoppen, PhD, University of Waterloo, Canadá [Supervisor: Y. Kohayakawa/IME-USP]. Título do projeto: A análise de estruturas discretas de grandes proporções. Bolsista posdoc FAPESP desde março de 2008.


Doutorados (concluídos no período)

  1. André Fujita [Orientador: C.E. Ferreira/IME-USP]. Título da tese: Análise de dados de expressão gênica: normalização de microarrays e modelagem de redes regulatórias, 2007.

  2. Eduardo Cândido Xavier [Orientador: F.K. Miyazawa/IC-UNICAMP]. Título da tese: Algoritmos para Problemas de Empacotamento. Dezembro 2006. Premiado com o Terceiro Lugar no Concurso de Teses e Dissertações da SBC, 2007. Professor na EACH-USP em 2007, e professor na UNICAMP, SP, a partir de 2008.

  3. Gerardo Valdisio Rodrigues Vianna, UFC, 2007 [Co-orientador: C.E. Ferreira/IME-USP]. Título da tese: Técnicas para construção de árvores filogenéticas. Professor na UFC.

  4. Luis A. A. Meira [Orientador: F.K. Miyazawa/IC-UNICAMP]. Título da tese: Algoritmos para Problemas de Classificação e Particionamento em Grafos. Bolsista do CNPq. Dezembro 2007.

Doutorados (em andamento)

  1. Alberto Alexandre Assis Miranda [Orientador: C.L. Lucchesi]. Título do projeto: Orientações Pfaffianas de Grafos. Bolsa da FAPESP.

  2. André da Silva Rosemberg [Orientador: R. Dahab]. Título do projeto: Aplicações de Criptografia de Curvas Elípticas. Início: 2007.

  3. André Luís Vignatti [Orientador: F.K. Miyazawa/IC-UNICAMP]. Título do projeto: Teoria dos Jogos em Problemas de Empacotamento (título provisório). Bolsista do CNPq.

  4. Augusto J. Devegili [Orientador: R. Dahab]. Título do projeto: Métodos Formais em Protocolos Criptográficos. Início: 2003.

  5. Cândida Nunes da Silva [Orientador: C.L. Lucchesi/IC-UNICAMP].Título do projeto: Fluxos Inteiros em Grafos.

  6. Edna Hoshino [Orientador: C.C. de Souza /IC-UNICAMP].Título do projeto: Geração de colunas para alguns problemas combinatórios em grafos.

  7. Evandro C. Bracht [Orientador: F.K. Miyazawa/IC-UNICAMP]. Título do projeto: Problemas de Classificação e Particionamento. Bolsa da FAPESP.

  8. Karla Roberta Pereira do Nascimento [Orientadora: Y. Wakabayashi/IME-USP]. Título do projeto: Tópicos em grafos (a ser definido). Bolsista da CAPES.

  9. Leonardo Barbosa e Oliveira [Orientador: R. Dahab]. Título do projeto: Segurança em redes de sensores sem fio. Início: 2005.

  10. Mário Leston Rey [Orientadora: Y. Wakabayashi/IME-USP]. Título do projeto: Algoritmos de Aproximação para Problemas de Projetos de Redes em Digrafos.

  11. Pavlos Bahia Konstadinidis [Orientador: Y. Kohayakawa/IME-USP]. Título do projeto: Tópicos em grafos aleatórios. Bolsista do CNPq.

  12. Rudini Menezes Sampaio [Orientador: Y. Kohayakawa/IME-USP]. Título do projeto: Tópicos em combinatória extremal.

  13. Victor Fernandes Cavalcante [Orientador: C.C. de Souza/IC-UNICAMP]. Título do projeto: Uso de planos de corte combinados com técnicas Lagrangeanas para programação inteira 0-1. Bolsista da CAPES.


Mestrados (concluídos no período)

  1. André Gustavo Gontijo Penha [Orientador: Ricardo Dahab]. Título da dissertação: Aspectos de Segurança em Jogos Online. 2007.

  2. Domingos Dellamonica Júnior [Orientador: Y. Kohayakawa/IME-USP]. Título da dissertação: Extração de aleatoriedade a partir de fontes defeituosas, 2007. [Doutorando Emory University, Atlanta, desde outubro 2007]

  3. Fabricio Siqueira Benevides [Orientador: Y. Kohayakawa/IME-USP] Título da dissertação: Problemas Estruturais e Numéricos na teoria de Ramsey para grafos Bolsista da FAPESP, 2007. [Doutorando Univ. Memphis, USA, desde 2007]

  4. João Costalonga [Orientador: M. Lemos/UFPE] . Tíutlo da dissertação: Empacotamento e cobertura por circuitos através de um elemento em matróies, fevereiro 2007.

  5. Marcel Kenji de Carli Silva [Orientadora: Y. Wakabayashi/IME-USP]. Título da dissertação: Relações Min-max em Otimização Combinatória. Bolsista FAPESP, abril 2007. [Doutorando University of Waterloo desde outubro 2007]

  6. Marcelo Hashimoto [Orientador: J.C. de Pina/IME-USP] Título da dissertação: Bases de Hilbert. Bolsista do CNPq, fevereiro 2007. [Doutorando da USP]

  7. Patrícia Takaki Neves [Orientador: O. Lee]. Título do projeto: Variações do Algoritmo de Dijkstra, março de 2007.

  8. Paulo Silveira [Orientador: J.C. de Pina/IME-USP] Título da dissertação: Matemática e Algoritmos das Dobras, maio 2007.

  9. Renato Lucindo [Orientadora: Y. Wakabayashi/IME-USP]. Título da dissertação: Partição de Grafos em Subgrafos Conexos, março 2007.

  10. Wylber Polonini [Orientador: Ricardo Dahab]. Título da dissertação: Implementação e análise de uma proposta para validação eficiente de certificados digitais, 2007.

Mestrados (em andamento)

  1. Anderson Freitas da Silva [Orientador: C.E. Ferreira/IME-USP]. Título do projeto: a ser definido.

  2. Alex André da Costa Soares [Orientadora: C.G. Fernandes/IME-USP]. Título do projeto: Árvores geradoras com muitas folhas.

  3. Alexandre da Silva Freire [Orientador: C.E. Ferreira/IME-USP]. Título do projeto: Aplicações de partições de grafos em processamento de imagens. Bolsista da CAPES.

  4. Ander Conselvan de Oliveira [Orientador: C.E. Ferreira/IME-USP]. Título do projeto: ainda não definido. Bolsista da CAPES.

  5. André Augusto Ciré [Co-orientador: C.C. de Souza/IC-UNICAMP, orientador: A. V. Moura/IC-UNICAMP] . Título do projeto: Agendamento de Tarefas de Distribuição de Múltiplos Produtos Petrolíferos em Malhas de Oleodutos usando Algoritmos Híbridos e Programação por Restrições (provisório). Bolsista FAPESP.

  6. Andrea Tieme Nakasato [Orientadora: Y. Wakabayashi/IME-USP]. Título do projeto: Ordenação por reversão. Bolsista CAPES (1 ano).

  7. Andrei Sampaio Braga [Orientador: C.C. de Souza/IC-UNICAMP]. Título do projeto: Relaxações Lagrangeanas e planos de corte faciais na resolução de problemas de particionamento de conjuntos.

  8. Breno Piva Ribeiro [Orientador: C.C. de Souza/IC-UNICAMP]. Título do projeto: Estudo poliédrico do problema do máximo subrafo induzido comum. Bolsista FAPESP.

  9. Bruno de Azevedo [Orientador: F.K. Miyazawa/IC-UNICAMP]. Título do projeto: Problemas de empacotamento com restrições de roteamento.

  10. Christian Tjandraatmadja [Orientador: C.E. Ferreira/IME-USP]. Título do projeto: Subseqüência comum mais longa sem repetições e variantes. Bolsista da FAPESP.

  11. Claúdia Akemi Furushima [Orientador: C.C. de Souza/IC-UNICAMP]. Título do projeto: Otimização em poliedros quase-inteiros.
    Bolsista FAPESP.
  12. Cláudia Regina Tinós Peviani [Orientador: Marco Aurélio Stefanes]. Título do Projeto: Programação dinâmica usando algoritmos paralelos.

  13. Cristiane Maria Sato [Orientador: Y. Kohayakawa/IME-USP]. Título do projeto: Avanços na área de regularidade de grafos e hipergrafos. Bolsista da FAPESP.

  14. Eduardo Morais de Moraes [Orientador: R. Dahab]. Título do projeto: Implementação de cifrassinatura baseada em identidade usando o emparelhamento de Tate em corpos binários. Início: 2006. Bolsa da FAPESP.

  15. Fábio Pisaruk [Orientador: J.C. de Pina/IME-USP]. Título do projeto: k-caminhos mínimos.

  16. Fabio Rogério Piva [Orientador: R. Dahab]. Título do projeto: Verificação formal de protocolos de trocas justas utilizando o método de espaços de fitas. Início: 2007. Bolsa do CNPq.

  17. Geoffrey Alberto Vitorio Martins [Orientador: A.L.P. Guedes/UFPR]. Título do projeto: Computabilidade e Modelos de Computação.

  18. Hammurabi das Chagas Mendes [Orientadora: C.G. Fernandes/IME-USP].. Título do projeto: Estruturas de dados para algoritmos distribuídos. Bolsista da CAPES.

  19. Juliana Barby Simão [Orientador: J.C. de Pina/IME-USP]. Título do projeto: Minimização de funções submodulares. Bolsista da FAPESP.

  20. Karina Mochetti de Magalhães [Orientador: Ricardo Dahab]. Título do projeto: Uma alternativa pública para o método de Marcas d'Água Raster em Mapas Vetoriais. Início: 2007. Bolsa da FAPESP.

  21. Leonardo Bespalhuk Facci [Orientador: C.E. Ferreira /IME-USP]. Título do projeto: Árvores geradoras mínimas com grau limitado. Bolsista do CNPq.

  22. Leonel Carlos Pereira [Co-orientador: C.C. de Souza/IC-UNICAMP orientador: R. O. Anido/IC-UNICAMP]. Título do projeto: Algoritmos Cooperativos para Problemas de Roteamentos de Veículos. Bolsista CAPES.

  23. Lucas Furukawa Gadani [Orientador: Y. Kohayakawa/IME-USP]. Título do projeto: Problemas extremais para grafos aleatórios.

  24. Marcelo Couto [Orientador: C.C. de Souza/IC-UNICAMP] (co-orientador: Pedro Rezende/IC-UNICAMP). Título do projeto: Análise de algoritmos heurísticos para o problema da galeria de arte.

  25. Marcio Takashi Oshiro [Orientador: J.C. de Pina/IME-USP]. Título do projeto: k-árvores mínimas. Bolsista da CAPES.

  26. Marcos Dias [Orientador: R. Dahab]. Título do projeto: Soluções de segurança para sistemas de mensagem instantânea. Início: 2007.

  27. Maurício Silva de Moura [Orientador: J.C. de Pina/IME-USP]. Título do projeto: Método de Robertson-Seymour para caminhos disjuntos.

  28. Paulo Vieira Milreu [Orientador: F.H. Viduani Martinez/UFMS]. Título do projeto: Análise de Nutrientes em Redes Metabólicas. Bolsista do CNPq.

  29. Peterson Katigiri Zilli [Orientador: C.C. de Souza/IC-UNICAMP]. Título do projeto: Análise de algoritmos heurísticos para problemas ``ricos'' de roteamento de veículos. Bolsista FAPESP.

  30. Rafael Antonio Cosentino [Orientador: J.C. de Pina/IME-USP]. Título do projeto: Origami computacional: dobrar e cortar.

  31. Rafael Dantas de Castro [Orientador: R. Dahab]. Títutlo do projeto: Protocolos criptográficos para computação distribuída multilateral segura. Início: 2006. Bolsa da FAPESP.

  32. Rafael dos Santos Cubas [Orientador: A.L.P. Guedes/UFPR]. Título do projeto: Coloração de grafos.

  33. Roberto Aragy Xavier junior [Orientador: M.A.Stefanes/UFMS]. Título do projeto: Problema do fluxo máximo em paralelo.

  34. Rodrigo Mitsuo Kishi [Orientador: S.S. Adi/UFMS]. Título do projeto: O problema do alinhamento spliced múltiplo.

  35. Ronaldo Fiorilo dos Santos [Orientador: S.S. Adi/UFMS]. Título do projeto: Formalizações para o problema da identificação de genes por comparação de seqüências.

  36. Silvio Boss [Orientador: J. Donadelli Jr./UFPR]. Título do projeto: a ser definido.

  37. Tony M. Lopes [Co-orientador: C.C. de Souza/IC-UNICAMP, orientador: A. V. Moura/IC-UNICAMP]. Título do projeto: Agendamento de Tarefas de Distribuição de Múltiplos Produtos Petrolíferos em Malhas de Oleodutos usando Meta-heurísticas e Programação Linear (provisório). Bolsista FAPESP.

  38. Wanderley Guimarães da Silva [Orientadora: Y. Wakabayashi/IME-USP]. Título do projeto: Conjuntos dominantes em grafos. Bolsista CNPq.

  39. Wandner Meirelles [Orientador: S.S. Adi/UFMS]. Título do projeto: Identificação de genes não codificantes.

  40. Wellington Mariusso [Orientador: F.K. Miyazawa/IC-UNICAMP]. Título do projeto: Problemas de empacotamento tridimensional.


Y. Wakabayashi <yw@ime.usp.br>
Last modified: Tue Apr 1 18:59:28 BRT 2008