Recursos Humanos - fev/2000 a fev/2001

Projeto PRONEX Complexidade de Estruturas Discretas (Projeto ProNEx 107/97; Proc. CNPq 664107/1997-4).

Doutorados

Concluídos:
1. Júlio César Lopez Hernandez [R. Dahab/IC-UNICAMP].
  Título da tese: Análise e Implementação de Algoritmos Criptográficos baseados em Curvas Elípticas.
  Início no programa: agosto/95. Término: abril/00.
Em andamento:
1. Nalvo Franco de Almeida Jr [J.C. Setubal/IC-Unicamp].
  Título da tese: Ferramentas computacionais para genômica.
  Bolsa PICD-CAPES com sanduíche CAPES-Fulbright.
  Ingresso no programa: março/95.
2. Said Sadique Adi [C.E. Ferreira/IME-USP].
  Título de projeto: Métodos e Ferramentas para Identificação de Genes.
  Bolsa da FAPESP.
  Ingresso no programa: agosto/00.
3. José Roberto Monteiro [C.L. Lucchesi e (co-orientador) R. Dahab/IC-UNICAMP].
  Título do projeto: Protocolos Criptográficos Eficientes para Troca Autenticada.
  Ingresso no programa: março/95.
4. Jair Donadelli Júnior [Y. Kohayakawa/IME-USP].
  Título do projeto: Métodos Probabilísticos e Métodos Topológicos em Combinatória Extremal.
  Bolsa da CAPES até dezembro/97 e bolsa do CNPq desde janeiro/98.
  Ingresso no programa: março/96.
5. Estela Maris Rodrigues [Y. Wakabayashi/IME-USP].
  Título do projeto: Algoritmos de Inferência Filogenética.
  Bolsa do CNPq.
  Ingresso no programa: março/97.
6. Guilherme Pimentel Telles [J. Meidanis/IC-UNICAMP].
  Título do projeto: Mapas Físicos de DNA.
  Bolsa da FAPESP.
  Ingresso no programa: março/97.
7. Christiane Neme Campos Toledo [C.P. de Mello/IC-UNICAMP, desde outubro de 2000].
  Título do projeto: Coloração total em grafos.
  Bolsa do CNPq.
  Ingresso no programa: março/97.
8. Liliane Rose Benning Salgado [Y. Wakabayashi/IME-USP].
  Título do projeto: Aproximabilidade de Problemas de Otimização em Grafos.
  Bolsa da FAPESP desde agosto/98.
  Ingresso no programa: março/98.
9. Zanoni Dias [J. Meidanis/IC-UNICAMP].
  Título do projeto: Rearranjo de Genomas.
  Bolsa da FAPESP.
  Ingresso no programa: março/98.
10. Marco Aurélio Stefanes [J. Soares/IME-USP].
  Título do projeto: Algoritmos Paralelos para Grafos e Geometria Computacional.
  Bolsa da FAPESP desde agosto/98.
  Ingresso no programa: março/98.
11. Francisco Elói Soares de Araújo [J. Soares/IME-USP].
  Título do projeto: Biologia Computacional.
  Ingresso no programa: agosto/98.
12. Glauber Ferreira Cintra [Y. Wakabayashi/IME-USP].
  Título do projeto: Algoritmos para Problemas de Corte Multidimensionais.
  Bolsa do CNPq.
  Ingresso no programa: agosto/98.
13. Emerson Alexandre de Oliveira Lima [S. Lins/DM-UFPE].
  Título do projeto: Implementação de uma Dinâmica Combinatória para Classificar 3-variedades.
  Ingresso no programa: março/99.
14. Simone Dantas de Souza [C.M.H. de Figueiredo/IM-COPPE-UFRJ].
  Título do projeto: Problemas-sanduíche em Grafos.
  Bolsa da CAPES.
  Ingresso no programa: março/99.
15. Alexandre Melo Braga [R. Dahab/IC-UNICAMP].
  Título do projeto: Segurança de Sistemas Móveis.
  Bolsa do CNPq.
  Ingresso no programa: agosto/99.
16. Lucas de Carvalho Ferreira [R. Dahab/IC-UNICAMP].
  Título do projeto: Métodos Formais em Protocolos Criptográficos.
  Ingresso no programa: agosto/99.
17. Loana Tito Nogueira [S. Klein/IM-COPPE-UFRJ].
  Título do projeto: Complexidade de Problemas de Partição em Grafos.
  Bolsa da CAPES.
  Ingresso no programa: outubro/99.
18. Renato J. da S. Carmo [Y. Kohayakawa/IME-USP].
  Título do projeto: Análise de Caso Médio de Algoritmos e Grafos Aleatórios.
  Bolsa da CAPES/PICD.
  Ingresso no programa: março/00.
19. Mário Leston Rey [Y. Wakabayashi/IME-USP].
  Título do projeto: Aspectos Estruturais e Algorítmicos de Problemas em Teoria dos Grafos.
  Bolsa da FAPESP.
  Ingresso no programa: março/00.
20. Fábio H. Viduani Martinez [J. Soares/IME-USP].
  Título do projeto: Algoritmos Paralelos (provisório).
  Bolsa CAPES/PICD.
  Ingresso no programa: agosto/99.

Mestrados

Concluídos:
1. Ademakson Souza Araujo [M. Lemos/DM-UFPE].
  Título da dissertação: As Conjecturas de Tutte e o Teorema de Seymour.
  Bolsa do CNPq.
  Ingresso no programa: março/98. Término: maio/00.
2. Arlindo Flávio da Conceição [J.C. Setubal/IC-Unicamp].
  Título da dissertação: Problemas combinatórios de congestionamento.
  Bolsa do CNPq.
  Ingresso no programa: março/97. Término: junho/00.
3. Lidio Nunes de Abreu Jr. [J.C. Setubal/IC-Unicamp].
  Título da dissertação: O problema da designação e sua variante paramétrica.
  Bolsa do CNPq/FAPESP.
  Ingresso no programa: março/97. Término: maio/00.
4. Márcio Grossi de Almeida [Y. Kohayakawa/IME-USP].
  Título da dissertação: Números de Ramsey Induzidos e Semi-induzidos.
  Bolsa do CNPq.
  Término: junho/00.
5. Said Sadique Adi [C.E. Ferreira/IME-USP].
  Título da dissertação: Ferramentas de Auxilio ao Seqüenciamento de DNA por montagem de fragmentos: um estudo comparativo.
  Bolsa do CNPq.
  Término: abril/00.
6. Tallys Hoover Yunes [C.C. de Souza/IC-UNICAMP].
  Título da dissertação: Problemas de Escalonamento no Transporte Coletivo: Programação por Restrições e Outras Técnicas.
  Primeiro lugar no VIII Concurso CLEI/UNESCO'01.
  Bolsa da FAPESP. (Em co-orientação com o Prof. Dr. Arnaldo Moura do IC-UNICAMP).
  Ingresso no programa: março/98. Término: abril/00.
7. Fábio Ribeiro Cerqueira [J. Meidanis/IC-UNICAMP].
  Título da dissertação: Montagem de Fragmentos de DNA.
  Bolsa do CNPq até fevereiro/97.
  Ingresso no programa: março/96. Término: jan/00.
8. Cássio Polpo de Campos [C.E. Ferreira/IME-USP].
  Título da dissertação: Problemas Dinamicos em Geometria Computacional.
  Bolsa da FAPESP.
  Ingresso no programa: março/99. Término: dez/00.
9. Eduardo Garcia de Freitas [C.E. Ferreira/IME-USP].
  Título da dissertação: Problemas Cinéticos em Geometria Computacional.
  Bolsa da FAPESP.
  Ingresso no programa: março/99. Término: dez/00.
10. Carlos Ramon Pantaleon Dionisio [J.C. de Pina Jr/IME-USP].
  Título da dissertação: Geometria Computacional de Pontos em Movimento.
  Término: jan/00.
Em andamento:
1. Aritanan Borges Garcia Gruber [C.E. Ferreira/IME-USP].
  Título do projeto: Algoritmos e Estruturas de Dados para Problemas em Grafos Dinâmicos.
  Bolsa do CNPq.
  Ingresso no programa: março/97.
2. Cláudio Tadeu Cristiano [M. Lemos/DM-UFPE].
  Título do projeto: Polinômio de Tutte.
  Bolsa do CAPES.
  Ingresso no programa: agosto/98.
3. Débora Cristina Alves Rego [S. Klein/IM-COPPE-UFRJ e Fábio Protti/NCE-UFRJ].
  Título do projeto: Reconhecimento de Grafos 2-DIR Puros.
  Bolsa da CAPES.
  Ingresso no programa: março/99.
4. Vagner Katsumi Okura [J.C. Setubal/IC-Unicamp].
  Título do projeto: Infraestrutura de bioinformática para projetos genoma.
  Bolsa CNPq/FAPESP.
  Ingresso no programa: março/96.
5. Marília Dias Vieira Braga [J. Meidanis/IC-UNICAMP].
  Título do projeto: O Problema de Minimizar o Número de Contigs.
  Bolsa da FAPESP.
  Ingresso no programa: março/98.
6. Lin Tzy Li [J. Meidanis/IC-UNICAMP].
  Título do projeto: O Método OSS de Seqüenciamento de DNA.
  Bolsa da FAPESP.
  Ingresso no programa: março/98.
7. Felipe Carneiro Calheiros [C.C. de Souza/IC-UNICAMP].
  Título do projeto: Problemas de Cobertura, Empacotamento e Partição de Polígonos Retilineares.
  Ingresso no programa: março/98.
8. Eduardo Kazuaki Gondo [C.G. Fernandes/IME-USP].
  Título do projeto: Árvores k-restritas e Aproximações para Árvores de Steiner.
  Ingresso no programa: março/98.
9. Luiz Carlos Rozante [J. Soares/IME-USP].
  Título do Projeto: Algoritmos para Predição de Estrutura Secundária do RNA.
  Bolsa do CNPq.
  Ingresso no programa: março/98.
10. Maikol Magalhães Rodrigues [C.C. de Souza/IC-UNICAMP].
  Título do projeto: Problema de Planejamento de Viagens no Transporte Coletivo Urbano.
  Bolsa da FAPESP.
  Ingresso no programa: março/99.
11. Liana D. Duenha [M.H. Carvalho/DCT-UFMS].
  Título do projeto: O Problema das Quatro Cores.
  Ingresso no programa: março/99.
12. Edna A. Hoshino [M.H. Carvalho/DCT-UFMS].
  Título do projeto: Algoritmos Lineares para Teste de Planaridade em Grafos.
  Ingresso no programa: março/2000.
13. Graziela S. Araújo [M.H. Carvalho/DCT-UFMS].
  Título do projeto: Árvores Filogenéticas.
  Ingresso no programa: março/2000.
14. Cândida Nunes da Silva [R. Dahab/IC-UNICAMP].
  Título do projeto: Fluxos Inteiros em Grafos: Conjeturas de Tutte e Resultados Recentes.
  Bolsa do CNPq.
  Ingresso no programa: março/99.
15. Danival Taffarel Calegari [R. Dahab/IC-UNICAMP].
  Título do projeto: Proposta de Extensão Criptográfica da API JavaCard.
  Bolsa do CNPq.
  Ingresso no programa: março/99.
16. Rogério Albertoni Miranda [R. Dahab/IC-UNICAMP].
  Título do projeto: Criptossistemas Baseados em Curvas Elípticas.
  Bolsa do CNPq.
  Ingresso no programa: março/99.
17. Ronney Rodger Sales de Castro [C.G. Fernandes/IME-USP].
  Título do projeto: Algoritmos de Aproximação para Aresta-conectividade.
  Bolsa do CAPES até marco/01.
  Ingresso no programa: março/99.
18. Eduardo Tengan [A. Mandel/IME-USP].
  Título do projeto: Uso de ideais quando poliedros falham.
  Ingresso no programa: agosto/99.
19. Rogério Theodoro Brito [J. Soares/IME-USP].
  Ingresso no programa: agosto/99.
20. Priscila Cardoso Petito [M.R. Cerioli/IM-COPPE-UFRJ].
  Título do projeto: Grafos Interseção por Arestas de Caminhos em uma Árvore.
  Bolsa da CAPES.
  Ingresso no programa: março/00.
21. Glauber José Vaz [C.C. de Souza/IC-UNICAMP].
  Título do projeto: Problemas de montagem de horário de linhas de ônibus urbanos.
  Bolsa da CAPES.
  Ingresso no programa: agosto/00.
22. Wagner Pimentel [C.M.H. de Figueiredo/IM-COPPE-UFRJ].
  Título do projeto: Algoritmos Genéticos.
  Bolsa da CAPES.
  Ingresso no programa: março/99.
23. Alexandre Noma [J.C. de Pina/IME-USP]
  Título do projeto: Algoritmos de Planaridade em Grafos.
  Bolsa da FAPESP. Ingresso no programa: março/00.
24. Shigueo Isotani [J.C. de Pina/IME-USP].
  Bolsa da CAPES.
  Ingresso no programa: março/00.
25. José Osvaldo Couto Horta [J.C. de Pina/IME-USP].
  Título do projeto: Entropia do DNA.
  Ingresso no programa: março/96.
26. Gordana Manic [P. Feofiloff/IME-USP].
  Título do projeto: Coloração restrita de grafos.
  Bolsa da CAPES até agosto/2001.
  Ingresso no programa: agosto/99.

Iniciação Científica:

Concluídos:
1. Edson Borin [M.H. Carvalho/DCT-CCET].
  Título do projeto: Algoritmos para Desenho de Grafos.
  Bolsa do PIBIC-CNPq de agosto/99 a julho/00.
Em andamento:
1. Guilherme Dias da Fonseca [C.M.H. de Figueiredo/IM-COPPE-UFRJ].
  Título do projeto: Casamentos Estáveis.
  Bolsa do CNPq-UFRJ de setembro/98 a julho/00.
2. Adriano Brito Brito Pereira [S. Klein/IM-COPPE-UFRJ].
  Título do projeto: Estudo de algoritmos gulosos.
  Bolsa do CNPq-UFRJ desde janeiro/99.
3. Bruno Crotman [C.M.H de Figueiredo e C. Bornstein/IM-COPPE-UFRJ].
  Título do projeto: Algoritmos Paralelos.
  Bolsa do CNPq-PI de março/99 a fevereiro/01.
4. Raphael Perret [C.M.H. de Figueiredo e C. Bornstein/IM-COPPE-UFRJ].
  Título do projeto: Algoritmos Paralelos.
  Bolsa do CNPq-PI de março/99 a fevereiro/01.
5. Thiago Souza Mendes Guimarães [C.M.H. de Figueiredo e C. Bornstein/IM-COPPE-UFRJ].
  Título do projeto: Algoritmos Paralelos.
  Bolsa do CNPq-PI de março/99 a fevereiro/01.
6. Tahuana Araujo Cirati Gomes [C.M.H. de Figueiredo e M.R. Cerioli/IM-COPPE-UFRJ].
  Título do projeto: Grafos Cordais.
  Bolsa do PIBIC-UFRJ de setembro/99 a agosto/01.
7. Alexandre Corrêa Barbosa [J.C. Setubal/IC-Unicamp].
  Título do projeto: Montagem do genoma da Xanthomonas citri.
  Bolsa da FAPESP de janeiro a junho/00.
8. Fernando Gonçalves Urzedo [J.C. Setubal/IC-Unicamp].
  Título do projeto: Suporte computacional para projetos genoma de EST.
  Bolsa da FAPESP de janeiro a junho/00.
9. Silvana Livramento [M.H. Carvalho/DCT-CCET].
  Título do projeto: Fluxo em Grafos.
  Bolsa do PIBIC-UFMS de agosto/99 a julho/00.
10. Érico Souza Teixeira [K.S. Guimarães/DI-UFPE].
  Título do projeto: Análise Comparativa de Seqüências de DNA
  Bolsa da FACEPE desde junho/00.
11. Gustavo Bastos dos Santos [K.S. Guimarães/DI-UFPE].
  Título do projeto: Técnicas Probabilísticas para Classificação de Seqüências
  Bolsa da FACEPE desde junho/00.
12. Bruno Leite [Y. Kohayakawa (co-orientação)/IME-USP].
  Título do projeto: Introdução à teoria analítica dos números.
  Início: março/00.
  Bolsa da FAPESP desde novembro/00.
13. Denis Mota de Sousa [M.R. Cerioli/IM-COPPE-UFRJ].
  Título do projeto: Número de Árvores Geradoras.
  Bolsa do PIBIC-UFRJ de setembro/00 a agosto/01.

Last modified: Tue Dec 10 17:22:10 EDT 2002