Recursos Humanos - jan/2002 a dez/2002

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

Doutorados concluídos

  1. Guilherme Pimentel Telles [J. Meidanis/IC-UNICAMP].
    Título da tese: Um algoritmo quase-linear para árvores PQR e um esquema para clustering de seqüências expressas de cana-de-açucar.
    Bolsa da FAPESP.
    Ingresso no programa: março/97. Término: dezembro/02.
  2. Jair Donadelli Júnior [Y. Kohayakawa/IME-USP].
    Título da tese: 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. Término: março/02.
  3. 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. Término: maio/02.
  4. Simone Dantas de Souza [C.M.H de Figueiredo/IM-COPPE-UFRJ].
    Título da tese: Partições em Grafos: Caracterizações, Algoritmos e Complexidade.
    Bolsa da CAPES.
    Ingresso no programa: março/99. Término: junho/02.
  5. Zanoni Dias [J. Meidanis/IC-UNICAMP].
    Título da tese: Rearranjo de Genomas: Uma Coletanea de Artigos.
    Bolsa da FAPESP.
    Ingresso no programa: março/98. Término: novembro/02.

Doutorados em andamento

  1. 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.
  2. Christiane Neme Campos Toledo [C.P. de Mello/IC-UNICAMP, desde outubro de 2000].
    Título do projeto: Coloração Total em Grafos.
    Ingresso no programa: março/97.
  3. 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.
  4. Elder Magalhães Macambira [Nelson Maculan/COPPE--UFRJ, Cid C. de Souza/IC--UNICAMP].
    Título do Projeto: Uma abordagem poliédrica para problemas de otimização combinatória com aplicações no planejamento de redes telefônicas.
    Bolsa da CAPES.
    Ingresso no programa (COPPE--UFRJ): março/1999.
  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. Fábio H. Viduani Martinez [J. Soares/IME-USP].
    Título do projeto: Método da Verossimilhança Máxima.
    Bolsa CAPES/PICD.
    Ingresso no programa: agosto/99.
  7. Francisco Elói Soares de Araújo [J. Soares/IME-USP].
    Título do projeto: Alinhamento de Várias Seqüências.
    Ingresso no programa: agosto/98.
  8. Glauber Ferreira Cintra [Y. Wakabayashi/IME-USP].
    Título do projeto: Problemas de Corte e Empacotamento.
    Bolsa do CNPq.
    Ingresso no programa: agosto/98.
  9. Gordana Manic [Y. Wakabayashi/IME-USP].
    Título do projeto: Algoritmos de Aproximação para Problemas de Otimização em Grafos
    Bolsa da CAPES.
    Ingresso no programa: novembro/01.
  10. Jeane Cecília Bezerra de Melo [K.S. Guimarães/CIn-UFPE]
    Título do projeto: Análise de Seqüências de DNA e de Proteínas
    Bolsa do CNPq.
    Ingresso no programa: março/01.
  11. José Roberto Monteiro [R. Dahab e (co-orientador) C.L. Lucchesi/IC-UNICAMP].
    Título do projeto: Protocolos Criptográficos Eficientes para Troca Autenticada.
    Ingresso no programa: março/95.
  12. 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.
  13. 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.
  14. Lucas de Carvalho Ferreira [R. Dahab/IC-UNICAMP].
    Título do projeto: Métodos Formais em Protocolos Criptográficos.
    Ingresso no programa: agosto/99.
  15. 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.
  16. Noemi Costa dos Santos [S. Klein/IM-COPPE-UFRJ].
    Titulo do projeto: Estruturas Homogêneas.
    ingresso no programa: março/01.
  17. Pablo Coll [C.C. Ribeiro/DI-PUC-Rio, Cid C. de Souza/IC-UNICAMP].
    Título do Projeto: A polyhedral approach to scheduling unrelated processors under precedence constraints.
    Ingresso no programa (Universidade de Buenos Aires, Argentina): março/1996.
  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. Rudini Menezes Sampaio [Y. Kohayakawa/IME-USP].
    Título do projeto: Tópicos em combinatória extremal.
    Ingresso no programa: agosto/02.
  20. Said Sadique Adi [C.E. Ferreira/IME-USP].
    Título de projeto: Montagem de Fragmentos de DNA.
    Bolsa da FAPESP.
    Ingresso no programa: agosto/00.
  21. Tereza Raquel Brito de Melo [M. Lemos/DM-UFPE]
    Título do projeto: Cocircuitos não separadores em matróides binárias
    Bolsa do CNPq.
    Ingresso no programa: março/00.
  22. Vânia Maria Félix Dias [C.M.H de Figueiredo/IM-COPPE-UFRJ, J.L.Szwarcfiter/COPPE-UFRJ]
    Bolsa CNPq.
    Ingresso no programa: março/00.

Mestrados concluídos

  1. Andréa Soares Bonifácio [S. Klein/IM-COPPE-UFRJ e F. Protti/IM-COPPE-UFRJ].
    Título: Modelagem de Teias Alimentares e Grafos de Competição.
    Bolsa da CAPES.
    Ingresso no programa: março/00. Término: agosto/02.
  2. Cândida Nunes da Silva [R. Dahab/IC-UNICAMP].
    Título: A Conjectura dos 3-Fluxos de Tutte e Emparelhamentos em Grafos Bipartidos.
    Bolsa do CNPq.
    Ingresso no programa: março/99. Término: junho/01.
  3. Cátia Mesquita Brasil Khouri [K. S. Guimarães/ CIn-UFPE].
    Título: Modelos Escondidos de Markov para Classificação de Proteínas.
    Ingresso no Programa: agosto/00. Término: dezembro/02.
  4. Edna A. Hoshino [M.H. Carvalho/DCT-UFMS].
    Título: Algoritmos Lineares para Teste de Planaridade em Grafos.
    Ingresso no programa: março/00. Término: agosto/02.
  5. Eduardo Kazuaki Gondo [C.G. Fernandes/IME-USP].
    Título: Árvores k-restritas e Aproximações para Árvores de Steiner.
    Ingresso no programa: março/98. Término: maio/02.
  6. Eduardo Tengan [A. Mandel/IME-USP].
    Título: Automorfismos de grafos.
    Ingresso no programa: agosto/99. Término: maio/02.
  7. Liana D. Duenha [M.H. Carvalho/DCT-UFMS].
    Título: O Problema das Quatro Cores.
    Ingresso no programa: março/99. Término: setembro/02.
  8. Luiz Carlos Rozante [J. Soares/IME-USP].
    Título: Algoritmos para Predição de Estrutura Secundária do RNA.
    Bolsa do CNPq.
    Ingresso no programa: março/98. Término: janeiro/02.
  9. Manoel Lima [M. Lemos/DM-UFPE]
    Título: Grafos Pancíclicos
    Bolsa do CNPq.
    Ingresso no programa: março/00. Término: fevereiro/02.
  10. Priscila Cardoso Petito [M.R. Cerioli/IM-COPPE-UFRJ].
    Título: Grafos Interseção por Arestas de Caminhos em uma Árvore.
    Bolsa da CAPES.
    Ingresso no programa: março/00. Término: outubro/02.
  11. Shigueo Isotani [J.C. de Pina/IME-USP].
    Título: Algoritmos para caminhos mínimos.
    Bolsa da CAPES.
    Ingresso no programa: março/00. Término: março/02.
  12. Vagner Katsumi Okura [J.C. Setubal/IC-Unicamp].
    Título: Infraestrutura de bioinformática para projetos genoma.
    Bolsa CNPq/FAPESP.
    Ingresso no programa: março/96. Término: abril/02.

Mestrados em andamento

  1. Alexandre Noma [C.G. Fernandes/IME-USP e (co-orientador) J.C. de Pina/IME-USP]
    Título do projeto: Algoritmos de Planaridade em Grafos.
    Bolsa da FAPESP.
    Ingresso no programa: março/00.
  2. Ana Lúcia Lima Marreiros [J.C. de Pina/IME-USP]
    Título do projeto: Método Primal-Dual
    Bolsa da CNPq.
    Ingresso no programa: março/00.
  3. 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.
  4. Denis S. Silva [M.H. Carvalho/DCT-UFMS].
    Título do projeto: Emparelhamento em grafos.
    Ingresso no programa: março/2002.
  5. Eduardo Candido Xavier [F.K. Miyazawa/IC-UNICAMP].
    Título do projeto: Algoritmos de Aproximação para Problemas de Escalonamento de Tarefas
    Bolsa da FAPESP.
    Ingresso no programa: março/01.
  6. Evandro Cesar Bracht [F.K. Miyazawa/IC-UNICAMP].
    Título do projeto: Algoritmos de Aproximação para Problemas de Classificação Métrica.
    Bolsa da FAPESP.
    Ingresso no programa: março/02.
  7. 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.
  8. Graziela S. Araújo [N.F. de Almeida/DCT-UFMS].
    Título do projeto: Filogenia e comparação de genomas.
    Ingresso no programa: março/00.
  9. Guilherme Dias da Fonseca [C.M.H. de Figueiredo/IM-COPPE-UFRJ].
    Bolsa da CAPES.
    Ingresso no programa: março/01.
  10. Guilherme Pedrosa [J.C. Setubal/IC-Unicamp].
    Título do projeto: Integracao de informacoes na comparacao de genomas de procariotos proximos
    Bolsa da Copersucar.
    Ingresso no programa: março/02.
  11. Joao Paulo Piazza [J.C. Setubal/IC-Unicamp].
    Título do projeto: Metodologia para detecção computacional de contaminações em projetos EST.
    Bolsa da EMBRAPA.
    Ingresso no programa: março/02.
  12. Juliana Martins do Nascimento [A.V. Moura e C.C. de Souza/IC-UNICAMP].
    Título do Projeto: Estudo e Desenvolvimento de Ferramentas Híbridas para Problemas de Seqüenciamento e Roteamento de Recursos.
    Bolsa da FAPESP.
    Ingresso no programa: março/01.
  13. Lauro Didier Lins [K.S. Guimarães/CIn-UFPE].
    Título do projeto: Algoritmos para Empacotamento 2-D e 3-D
    Ingresso no programa: março/01.
  14. Luciana Montera [N.F. Almeida/DCT-UFMS].
    Título do projeto: Alinhamentos múltiplos de genomas.
    Ingresso no programa: março/01.
  15. Luís Augusto Angelotti Meira [F.K. Miyazawa e C.C. de Souza/IC-UNICAMP].
    Título do projeto: Algoritmos de Aproximação para Problemas de Localizacao de Facilidades.
    Bolsa da FAPESP.
    Ingresso no programa: agosto/02.
  16. Mario Sansuke M. Watanabe [M. Lemos/DM-UFPE].
    Título do projeto: Computacao Quântica.
    Bolsa da CAPES.
    Ingresso no programa: março/02.
  17. Murilo Marinho de Souza [K.S. Guimarães/ CIn-UFPE].
    Título do projeto: Identificação de Regiões de Controle em Seqüência de DNA.
    Ingressono programa: março/02.
  18. Nélio Alves Pereira Filho [A. Mandel/IME-USP].
    Título do projeto: Serviço de membros para o Clusters de Alta Disponibilidade.
    Ingresso no programa: março/01.
  19. Paulo Gustavo Soares da Fonseca [K.S. Guimarães/ CIn-UFPE].
    Título do projeto: Estruturas de Índices para Identificar Repetições em Seqüências.
    Ingressono programa: março/02.
  20. 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.
  21. Rogério Theodoro Brito [J. Soares/IME-USP].
    Título do projeto: Alinhamento de Múltiplas Seqüências.
    Ingresso no programa: agosto/99.
  22. Talita de Oliveira Ferreira [M.R. Cerioli/IM-COPPE-UFRJ].
    Título do projeto: Grafos disco unitários.
    Bolsa da CAPES.
    Ingresso no programa: março/01.
  23. Vinícius Gusmão P. de Sá [C.M.H. de Figueiredo/IM-COPPE-UFRJ].
    Bolsa CAPES.
    Ingresso no programa: março/01.

Iniciações científicas concluídas

  1. 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.
  2. Rafael Cavalcanti Ortolan [K.S. Guimarães/CIn-UFPE].
    Título do projeto: Anotação Automática de Seqüências de DNA.
    Bolsa da FACEPE de abril/01 a novembro/02.

Iniciações científicas em andamento

  1. 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.
  2. Daniel Morgato Martin [Y. Kohayakawa/IME-USP].
    Título do projeto: Introdução à combinatória.
    Início: agosto/01.
    Bolsa da CNPq
  3. Douglas Minoru Kagohara [C.C. de Souza/IC-UNICAMP].
    Título do Projeto: Algoritmos lagrangeanos aplicados a problemas de escalonamento de pessoal.
    Bolsa da FAPESP de agosto/01 a julho/02.
  4. Érico Souza Teixeira [K.S. Guimarães/CIn-UFPE].
    Título do projeto: Análise Comparativa de Seqüências de DNA
    Bolsa da FACEPE desde junho/00.
  5. Fernando Mario de Oliveira Filho [C.E. Ferreira/IME-USP].
    Título do projeto: Estratégias de Solução de Problemas de Otimização Combinatória.
    Bolsa da Fapesp desde agosto/01.
  6. Francisco Nascimento Júnior [K.S. Guimarães/CIn-UFPE].
    Título do projeto: Análise Comparativa de Seqüências de DNA.
    Bolsa da PET-CNPq desde março/01.
  7. Gustavo Bastos dos Santos [K.S. Guimarães/CIn-UFPE].
    Título do projeto: Técnicas Probabilísticas para Classificação de Seqüências
    Bolsa da FACEPE desde junho/00.
  8. Marcelo Reis [J.C. Setubal/IC-Unicamp]. Título do projeto: Identificação de genes de lipoproteinas em genomas de espiroquetas.
    Bolsa da FAPESP.
    Início: outubro/02.
  9. Rafael Pereira Luna [C.G. Fernandes/IME-USP].
    Título do projeto: Implementações de algoritmos primal-dual para o Problema da Floresta de Steiner.
  10. Rodrigo Cavalcanti de Araújo [K.S. Guimarães/CIn-UFPE].
    Título do projeto: Anotação Automática de Seqüências de DNA.
    Bolsa da FACEPE desde abril/01.
  11. Romulo Albuquerque Pereira [A.V. Moura e C.C. de Souza/IC-UNICAMP].
    Título do Projeto: Estudo e Desenvolvimento de Ferramentas para Seqüenciamento de Atividades no Desenvolvimento de Poços de Petróleo: Uso de Programação por Restrições.
    Bolsa da FAPESP de abril/01 a março/02.
  12. Taciana Pontual da Rocha Falcão [K.S. Guimarães/CIn-UFPE].
    Título do projeto: Técnicas Probabilísticas para Classificação de Seqüências.
    Bolsa da FACEPE desde abril/01.
  13. Vinicius José Fortuna [C.C. de Souza e A.V. Moura/IC-UNICAMP].
    Título do Projeto: Estudo e Desenvolvimento de Ferramentas para Sequenciamento de Atividades no Desenvolvimento de Poços de Petróleo: Uso de Metaeurísticas.
    Bolsa da FAPESP de março/01 a fevereiro/02.
Last modified: Tue Dec 10 14:55:35 EDT 2002