Recursos Humanos - fev/2001 a fev/2002
Projeto PRONEX Complexidade de
Estruturas Discretas (Projeto ProNEx 107/97; Proc. CNPq
664107/1997-4).
Doutorados
- Em andamento:
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Zanoni Dias [J. Meidanis/IC-UNICAMP].
Título do projeto: Rearranjo de Genomas.
Bolsa da FAPESP.
Ingresso no programa: março/98.
- 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.
- 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.
- Glauber Ferreira Cintra [Y. Wakabayashi/IME-USP].
Título do projeto: Problemas de Corte e Empacotamento.
Bolsa do CNPq.
Ingresso no programa: agosto/98.
- 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.
- 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.
- 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.
- 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.
- Lucas de Carvalho Ferreira [R. Dahab/IC-UNICAMP].
Título do projeto: Métodos Formais em Protocolos
Criptográficos.
Ingresso no programa: agosto/99.
- 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.
- 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.
- 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.
- 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.
- 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.
- Paulo Alexandre Atkinson [C.G. Fernandes/IME-USP]
Título do projeto: Algoritmos de aproximação para problema
em biologia computacional.
Bolsa do CNPq.
Ingresso no programa: março/01.
- Noemi Costa dos Santos [S. Klein/IM-COPPE-UFRJ].
Titulo do projeto: Estruturas Homogêneas.
ingresso no programa: março/01.
- 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.
- Jeane Cecília Bezerra de Melo [K.S. Guimarães/DI-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.
Mestrados
- Concluídos:
- Marília Dias Vieira Braga [J. Meidanis/IC-UNICAMP].
Título do projeto: Grafos de Seqüências de DNA.
Bolsa da FAPESP.
Ingresso no programa: março/98. Término: dezembro/00.
- 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. Término: fevereiro/01.
- 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. Término: março/01.
- Cláudio Tadeu Cristiano [M. Lemos/DM-UFPE].
Título do projeto: O polinômio de Tutte.
Bolsa do CAPES.
Ingresso no programa: agosto/98. Término: maio/01.
- 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. Término: outubro/01.
- 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. Término: setembro/01.
- 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. Término: outubro/01.
- José Osvaldo Couto Horta [J.C. de Pina/IME-USP].
Título do projeto: Entropia do DNA.
Ingresso no programa: março/96. Término: outubro/01.
- 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. Término: julho/01.
- Wagner Pimentel [C.M.H. de Figueiredo/IM-COPPE-UFRJ e L.A.
Vidal/COPPE-UFRJ].
Título do projeto: Planejamento de Rotas Aéreas Utilizando Algoritmos Genéticos.
Bolsa da CAPES.
Ingresso no programa: março/99. Término: abril/01.
- Em andamento:
- 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.
- Eduardo Kazuaki Gondo [Cristina G. Fernandes/IME-USP].
Título do projeto: Árvores k-restritas e Aproximações para Árvores de
Steiner.
Ingresso no programa: março/98.
- 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.
- Liana D. Duenha [M.H. Carvalho/DCT-UFMS].
Título do projeto: O Problema das Quatro Cores.
Ingresso no programa: março/99.
- 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.
- 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.
- 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.
- 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.
- Eduardo Tengan [A. Mandel/IME-USP].
Título do projeto: Automorfismos de grafos.
Ingresso no programa: agosto/99.
- Rogério Theodoro Brito [J. Soares/IME-USP].
Título do projeto: Alinhamento de Múltiplas Seqüências.
Ingresso no programa: agosto/99.
- 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/00.
- Graziela S. Araújo [M.H. Carvalho/DCT-UFMS].
Título do projeto: Árvores Filogenéticas.
Ingresso no programa: março/00.
- 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.
- Andréa Soares Bonifácio [S. Klein e
F. Protti/IM-COPPE-UFRJ].
Titulo do projeto: Sobre Grafos de Competição.
Bolsa da CAPES.
Ingresso no programa: março/00.
- 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.
- Alexandre Noma [J.C. de Pina/IME-USP e (co-orientadora)
C.G. Fernandes]
Título do projeto: Algoritmos de Planaridade em Grafos.
Bolsa da FAPESP.
Ingresso no programa: março/00.
- Shigueo Isotani [J.C. de Pina/IME-USP].
Título do projeto: Implementações do Algoritmo de Dijkstra.
Bolsa da CAPES.
Ingresso no programa: março/00.
- 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.
- Manoel Lima [M. Lemos/DM-UFPE]
Título do projeto: Grafos Pancíclicos
Bolsa do CNPq.
Ingresso no programa: março/00.
- Cátia Mesquita Brasil Khouri [K.S. Guimarães/DI-UFPE]
Título do projeto: Técnicas Computacionais para Análise de Seqüências
Ingresso no programa: agosto/00.
- 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.
- Lauro Didier Lins [K.S. Guimarães/DI-UFPE]
Título do projeto: Algoritmos para Empacotamento 2-D e 3-D
Ingresso no programa: março/01.
- 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.
- 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.
Iniciação Científica:
- Concluídas:
- 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.
- Daniel Felix Ferber [A.V. Moura e C.C. de Souza/IC-UNICAMP].
Título do Projeto: Algoritmos Genéticos Aplicados a
Problemas de Escalonamento.
Bolsa da FAPESP de janeiro/01 a dezembro/01.
- 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/2000.
- 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.
- Silvana Livramento [M.H. Carvalho/DCT-CCET].
Título do projeto: Fluxo em Grafos.
Bolsa do PIBIC-UFMS de agosto/99 a julho/00.
- 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.
- 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.
- Tiago Dias Macedo [C.C. de Souza e A.V. Moura/IC-UNICAMP].
Título do Projeto: Algoritmos de Busca Tabu Aplicados a
Problemas de Escalonamento de Pessoal.
Bolsa da FAPESP de janeiro/01 a dezembro/01.
- Em andamento:
- Adriano Brito Brito Pereira [S. Klein/IM-COPPE-UFRJ].
Título do projeto: Estudo de algoritmos gulosos.
Bolsa do CNPq-UFRJ desde janeiro/99.
- 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.
- 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.
- 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.
- É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.
- Fernando Mario de Oliveira Filho [Carlos
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.
- Francisco Nascimento Júnior [K.S. Guimarães/DI-UFPE].
Título do projeto: Análise Comparativa de Seqüências de DNA.
Bolsa da PET-CNPq desde março/01.
- 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.
- Rafael Cavalcanti Ortolan [K.S. Guimarães/DI-UFPE].
Título do projeto: Anotação Automática de Seqüências de DNA.
Bolsa da FACEPE desde abril/01.
- Rodrigo Cavalcanti de Araújo [K.S. Guimarães/DI-UFPE].
Título do projeto: Anotação Automática de Seqüências de
DNA.
Bolsa da FACEPE desde abril/01.
- 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.
- Taciana Pontual da Rocha Falcão [K.S. Guimarães/DI-UFPE].
Título do projeto: Técnicas Probabilísticas para Classificação de Seqüências.
Bolsa da FACEPE desde abril/01.
- 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 17:19:56 EDT 2002