Recursos Humanos - jan/2004 a dez/2004
Projeto PRONEX Complexidade de
Estruturas Discretas (Projeto ProNEx 107/97; Proc. CNPq
664107/1997-4).
Pós-Doutorados em andamento
- Jozef Skokan [Y. Kohayakawa/IME-USP].
Título do projeto: Applications of the Regularity Method.
Bolsa da NSF (International Research Fellowship Program), EUA.
Data de início: outubro/03.
- Simone Dantas de Souza [C.P. de Mello/IC-UNICAMP].
Título do projeto: Partition problems.
Bolsa da FAPESP.
Data de início: setembro/03.
Doutorados concluídos
- Fábio H. Viduani Martinez [J. Soares/IME-USP].
Título da tese: Aproximações para restrições do problema de Steiner em grafos.
Bolsa CAPES/Cofecub.
Ingresso no programa: março/2000. Término: agosto/2004.
- Glauber Ferreira Cintra [Y. Wakabayashi/IME-USP].
Título da tese: Algoritmos para problemas de corte de guilhotina
bidimensional.
Bolsa do CNPq de outubro/1999 a agosto/2003.
Ingresso no programa: agosto/1998. Término: abril/2004.
- Liliane Rose Benning Salgado [Y. Wakabayashi/IME-USP].
Título da tese: Algoritmos de aproximação para partições conexas em
grafos.
Bolsa da FAPESP de agosto/1998 a agosto/2002.
Ingresso no programa: março/1998. Término: dezembro/2003.
- Vânia Maria Félix Dias [J.L. Szwarcfiter/COPPE-UFRJ, C.M.H de Figueiredo/IM-COPPE-UFRJ].
Título do tese: Bicliques em grafos.
Bolsa do CNPq.
Ingresso no programa: março/2000. Término: outubro/2004.
Doutorados em andamento
- Alexandre Almeida Lima [R. Dahab/IC-UNICAMP].
Título do projeto: Autenticação em Ambientes sem fio.
Ingresso no programa: março/2001.
- André Fujita [C.E. Ferreira/IME-USP].
Título do projeto: Redes de interação gênica.
Bolsa da CAPES.
Ingresso no programa: agosto/2003.
- Augusto Jun Devegili [R. Dahab/IC-UNICAMP].
Título do projeto: indefinido
Bolsa do CNPq.
Ingresso no programa: agosto/2003.
- Cândida Nunes da Silva [R. Dahab/IC-UNICAMP e
D.H. Younger, B. Richter/University of Waterloo].
Título do projeto: Conjeturas de Tutte e emparelhamentos em grafos
bipartidos.
Bolsa da FAPESP (temporariamente suspensa) e CAPES (estágio no
Canadá).
Ingresso no programa: março/2002.
- Christiane Neme Campos Toledo [C.P. de Mello/IC-UNICAMP, desde outubro/00].
Título do projeto: Coloração total em grafos.
Ingresso no programa: março/1997.
- Claudia Regina Villela Maciel [C.M.H de Figueiredo/IM-COPPE-UFRJ].
Título do projeto: Algoritmos para coloração de grafos perfeitos.
Ingresso no programa: março/2002.
- Cleber Valgas Gomes Mira [J. Meidanis/IC-UNICAMP].
Título do projeto: Rearranjo de genomas: teoria algébrica.
Bolsa da FAPESP.
Ingresso no programa: março/2003.
- Daniel Lorenzini [S. Daffre/ICB-USP e J.C. Setubal].
Título do projeto: Expressao de genes no sistema imune de Acanthoscurria.
Ingresso no programa: março/1999.
- Danilo F. Câmara. [R. Dahab/IC-UNICAMP].
Título do projeto: Implementação eficiente de criptossistemas de curvas elípticas.
Bolsa do CNPq.
Ingresso no programa: março/2000.
- Eduardo Candido Xavier [F.K. Miyazawa/IC-UNICAMP].
Título do projeto: Algoritmos de aproximação para problemas de
empacotamento e grafos.
Bolsa da CAPES.
Ingresso no programa: março/2003.
- Eduardo Gonçalves dos Santos [M. Lemos/DM-UFPE].
Título do projeto: Conectividade em matróides.
Bolsa do CNPq.
Ingresso no programa: março/2002.
- Evandro Cesar Bracht [F.K. Miyazawa/IC-UNICAMP].
Título do projeto: Problemas de classificação e particionamento.
Bolsa da FAPESP.
Ingresso no programa: março/2004.
- Francisco Elói Soares de Araújo [J. Soares/IME-USP].
Título do projeto: Biologia computacional.
Ingresso no programa: agosto/1999.
- Geraldine Goes Bosco [Y. Kohayakawa/IME-USP].
Título do projeto: Percolação em grafos finitos [Programa de Doutorado em
Estatística, IME-USP].
Bolsa da CAPES.
Ingresso no programa: agosto/2001.
- 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/2001.
- 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/2001.
- Lucas de Carvalho Ferreira [R. Dahab/IC-UNICAMP].
Título do projeto: Segurança de agentes móveis.
Ingresso no programa: agosto/1999.
- Luciano Digiampietri [J.C. Setubal/IC-Unicamp e C.M.B. Medeiros/IC-UNICAMP].
Título: Bancos de dados e workflows para dados genômicos.
Bolsa da CAPES.
Ingresso no programa: março/2003.
- Luis Antonio B. Kowada [C.M.H de Figueiredo/IM-COPPE-UFRJ].
Título do projeto: Computação quântica.
Bolsa do CNPq.
Ingresso no programa: março/2003.
- Luís Augusto Angelotti Meira [F.K. Miyazawa/IC-UNICAMP].
Título do projeto: Algoritmos de Aproximação para Problemas de
Localizacao de Facilidades.
Bolsa do CNPq.
Ingresso no programa: agosto/2002.
- Noemi Costa dos Santos [S. Klein/IM-COPPE-UFRJ, J.L. Szwarcfiter/COPPE-UFRJ].
Titulo do projeto: Estruturas Homogêneas.
ingresso no programa: março/2001.
- Paulo André Sant'Anna Perez. [R. Dahab/IC-UNICAMP].
Título do projeto: Segurança de Redes Móveis.
Ingresso no programa: março/1999.
- Paulo Gustavo Soares da Fonseca [K.S. Guimarães/ CIn-UFPE].
Título do projeto: Algoritmos para Inferência de Motifs em
Seqüências Biológicas.
Ingresso no programa: março/2003.
- Priscila Cardoso Petito [M.R. Cerioli/IM-COPPE-UFRJ]
Título do projeto: Grafos de caminho, caracterizações e
reconhecimento.
Bolsa da CAPES.
Ingresso no programa: outubro/2003.
- Rafael Bernardo Teixeira [C.M.H de Figueiredo/IM-COPPE-UFRJ].
Título do projeto: Problemas sanduíche em grafos.
Ingresso no programa: 2004.
- Renato J. da S. Carmo [Y. Kohayakawa/IME-USP, em conjunto com Eduardo
Laber, PUC-Rio].
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/2000.
- Rodrigo de Alencar Hausen [C.M.H de Figueiredo/IM-COPPE-UFRJ].
Título do projeto: Algoritmos em biologia computacional.
Bolsa do CNPq.
Ingresso no programa: março/2003.
- Rudini Menezes Sampaio [Y. Kohayakawa/IME-USP].
Título do projeto: Tópicos em Combinatória Extremal.
Bolsa da CAPES.
Ingresso no programa: agosto/2002.
- Said Sadique Adi [C.E. Ferreira/IME-USP].
Título de projeto: Predição de proteínas em seqüências de DNA.
Bolsa da FAPESP.
Ingresso no programa: agosto/2000.
- 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/2000.
- Victor Fernandes Cavalcante [C.C. de Souza/IC-UNICAMP].
Título do Projeto (provisório): Técnicas Lagrangeanas para programação
inteira 0-1
Bolsa da CAPES
Ingresso no programa: agosto/2002.
- Vinícius Gusmão P. de Sá [C.M.H de Figueiredo/IM-COPPE-UFRJ].
Título do projeto: O problema-sanduíche em grafos.
Bolsa da CAPES.
Ingresso no programa: março/2003.
Mestrados concluídos
- Bruno Leite [Y. Kohayakawa/IME-USP].
Título da dissertação: Versões probabilísticas de alguns resultados da
teoria combinatória dos números [Programa de Mestrado em Matemática,
IME-USP].
Bolsa da FAPESP.
Ingresso no programa: março/2003. Término: dezembro/2004.
- Evandro Cesar Bracht [F.K. Miyazawa/IC-UNICAMP].
Título da dissertação: Algoritmos de aproximação para problemas de
classificação métrica.
Bolsa da FAPESP.
Ingresso no programa: março/02. Término: junho/2004.
- Jalila Rios dos Santos [S. Lins/IM-UFPE].
Título da dissertação: Partição de matróides, conjuntos co-geradores
e bridge-it.
Término: 2003. (Não entrou no relatório anterior.)
- Joao Paulo Piazza [J.C. Setubal/IC-Unicamp].
Título da dissertação: Uma metodologia para detecção do organismo de origem
de seqüências de DNA com aplicação em projetos EST.
Bolsa da EMBRAPA.
Ingresso no programa: março/2002. Término: julho/2004.
- Luciana Montera [N.F. Almeida/DCT-UFMS].
Título da dissertação: Regiões Ortólogas Múltiplas.
Ingresso no programa: março/2001. Término: 2003. (Não entrou no
relatório anterior.)
- Marco Alves Ganhoto [F.K. Miyazawa/IC-UNICAMP].
Título da dissertação: Abordagens para o problema de roteamento de veículos.
Ingresso no programa: março/2003. Término: dezembro/2004. Mestrado Profissional.
- Murilo Marinho de Souza [K.S. Guimarães/ CIn-UFPE].
Título do projeto: Docking Automático de Proteínas Utilizando Algoritmos Genéticos.
Ingresso no programa: março/2002. Término: 2004.
- Nelio Alves Pereira Filho [Arnaldo Mandel/IME-USP].
Título da dissertação: Serviços de pertinência para clusters de
alta disponibilidade.
Ingresso no programa: março/2000. Término: agosto/2004.
- Rafael Bernardo Teixeira [C.M.H de Figueiredo/IM-COPPE-UFRJ].
Título da dissertação: Cortes-estrela e cortes-clique sanduíche.
Bolsa da CAPES.
Ingresso no programa: março/2002. Término: março/2004.
- Silvana Livramento [F.K. Miyazawa/IC-UNICAMP].
Título da dissertação: Algoritmos genéticos para o problema de localização
de recursos em rede telefônica.
Bolsa do CPQd/UNICAMP.
Ingresso no programa: março/2002. Término: maio/2004.
- Walkiria Luckwü de Santana Silva [co-orientadora: K.S. Guimarães/CIn-UFPE].
Título da dissertação: Análise Computacional de um Suposto Sítio
de Ligação na Região Promotora de Genes de Reparação de DNA em
Levedura e sua Distribuição Ubíqua.
Término: 2004.
Mestrados em andamento
- Alberto A. A. Miranda [R. Dahab/IC-UNICAMP].
Título do projeto: indefinido.
Bolsa do CNPq.
Ingresso no programa: março/2004.
- André A.M. Almeida [J. Meidanis/IC-UNICAMP].
Título do projeto: Rearranjos de genoma: distância de reversão com
sinais.
Ingresso no programa: março/2004.
- André G. G. Penha [R. Dahab/IC-UNICAMP].
Título do projeto: Implementação otimizada de criptossistemas de
curvas elípticas na arquitetura Intel XScale
Bolsa do CNPq.
Ingresso no programa: agosto/2003.
- André Vignati[F.K. Miyazawa/IC-UNICAMP].
Título do projeto: Algoritmos de Aproximação para Projeto de Redes.
Bolsa do CNPq.
Ingresso no programa: março/2004.
- Carlos Eduardo de Andrade [F.K. Miyazawa/IC-UNICAMP].
Título do projeto: Problemas de Corte e Empacotamento.
Ingresso no programa: agosto/2004.
- Carlos Juliano Moura Viana [N.F. Almeida/DCT-UFMS].
Título do projeto: Principais aspectos de genômica comparativa.
Ingresso no programa: 2003.
- Antonio Alberto Santos [A.V. Moura/IC-UNICAMP e F.K. Miyazawa/IC-UNICAMP].
Título do projeto: Métodos de Otimização Combinatória Aplicados a
Problemas de "Trace" em Redes Telefônicas.
Bolsa CPQd/UNICAMP.
Ingresso no programa: agosto/2002.
- Antonio João Ferreira Francisco [C.E. Ferreira/IME-USP].
Título do projeto: Algoritmos de aproximação para o projeto de redes
seguras.
Ingresso no programa: março/2002.
- Carlos Juliano Moura Viana [N.F. Almeida/DCT-UFMS].
Título do Projeto: Aspectos de Genômica Comparativa.
Bolsa da Capes.
Ingresso no programa: março/2003.
- Denis Santos Silva [M.H. de Carvalho/DCT-UFMS].
Título do projeto: Decomposicao em orelhas de grafos cobertos por
emparelhamentos.
Ingresso no programa: março/2002.
- Diogo Fernando Veiga [K.S. Guimarães/CIn-UFPE].
Título do projeto: Inferência de Redes Reguladoras de Genes.
Ingresso no programa: 2004.
- Eider Silva de Oliveira [P. Feofiloff/IME-USP].
Título do projeto: Subárvores Grandes mas Baratas: o Problema k-MST.
Ingresso no programa: fevereiro/2002
- Érico Souza Teixeira [K.S. Guimarães/ CIn-UFPE].
Título do projeto: Ferramentas para modelagem de proteínas.
Ingresso no programa: agosto/2003.
- Fabiano de Souza Oliveira [M.R. Cerioli/IM-COPPE-UFRJ].
Título do projeto (provisório): Algoritmos e grafos.
Bolsa do CNPq.
Ingresso no programa: março/2004.
- Fabio Fernandes da Rocha Vicente [K.S. Guimarães/CIn-UFPE].
Título do projeto: Construção de Redes Bioquímicas.
Ingresso no programa: 2004.
- Fabricio Vertamatti [C.E. Ferreira/IME-USP].
Título do projeto: Problemas de roteamento em grafos.
Ingresso no programa: março/2002.
- Fernando Mário de Oliveira Filho [C.E. Ferreira/IME-USP].
Título do projeto: O problema de Steiner com grupos.
Bolsa da FAPESP.
Ingresso no programa: março/2004.
- Gustavo Bastos dos Santos. [K.S. Guimarães/ CIn-UFPE].
Título do projeto: Extraindo informações estruturais de
seqüências de proteínas.
Ingresso no programa: março/2003.
- Gustavo Lacerda Costa [J.C. Setubal/IC-Unicamp].
Título do projeto: Estruturas de grafos e construção de famílias gênicas.
Bolsa da FUNDECITRUS.
Ingresso no programa: março/2003.
- José Augusto Amgarten Quitzau [J. Meidanis/IC-UNICAMP].
Título do projeto: Árvores filogenéticas de consenso.
Ingresso no programa: março/2003.
- José Edson de Albuquerque Filho [K.S. Guimarães/CIn-UFPE].
Título do projeto: DNA-Protein binding em eucariotos.
Ingresso no programa: março/2003.
- Patricia Guimarães Takaki [J. Meidanis/IC-UNICAMP].
Título do projeto: Grafos de intervalo com repetição.
Ingresso no programa: março/2002.
- Pavlos Bahia Konstadinidis [Y. Kohayakawa/IME-USP].
Título do projeto: Grafos distância [Programa de Mestrado em Matemática,
IME-USP].
Bolsa do CNPq.
Ingresso no programa: março/2003
- Pedro Jose da Silva Santos Junior [M. Lemos/DM-UFPE].
Título do projeto: Algoritmos de fatoração de inteiros.
Ingresso no programa: março/2003.
- Rafael Francisco dos Santos [Cid C. de Souza/IC-UNICAMP].
Título do projeto: Um estudo do método de ramificação local para programação inteira 0-1 mista.
Bolsa do CNPq.
Ingresso no programa: março/2004.
- Rafael Pereira de Luna [C.G. Fernandes/IME-USP].
Título do projeto: Implementações do método primal-dual.
Bolsa da CAPES.
Ingresso no programa: março/2003.
- Renato Pinheiro Freme Lopes Lucindo [Y. Wakabayashi/IME-USP].
Título do projeto: Partição de árvores em subárvores balanceadas.
Ingresso no programa: março/2003.
- Sheila Morais de Almeida [C. P. de Mello/IC-UNICAMP].
Título do projeto: As classes de grafos PI e PI*.
Bolsa da CAPES.
Ingresso no programa: março/2003.
- Tania Frossard de Amorim Leite [S. Klein/IM-COPPE-UFRJ e L. Faria/UERJ].
Título do projeto: A espessura (thickness) de grafos.
Ingresso no programa: abril/2002.
- Tiago Edmundo Ribeiro Brito [K.S. Guimarães/ CIn-UFPE].
Título do projeto: Construção e análise de bibliotecas de
fragmentos para inferência de estruturas de proteínas.
Ingresso no programa: 2003.
- Vinicius José Fortuna [J. Meidanis/IC-UNICAMP].
Título do projeto: Rearranjo de genomas: distância de transposição.
Bolsa da FAPESP.
Ingresso no programa: março/2003.
Segundo lugar no Concurso de Teses e
Dissertações da SBC de 2003.
Iniciações científicas concluídas
- Carlos Henrique Cardonha [C.G. Fernandes/IME-USP].
Título do projeto: Computação quântica.
Bolsa da FAPESP.
Início: agosto/2003. Término: dezembro/2004.
- Domingos Dellamonica Júnior [Y. Kohayakawa/IME-USP].
Título do projeto: Métodos probabilísticos e algébricos aplicados em combinatória.
Bolsa da FAPESP.
Início: março/2004. Término: dezembro/2004.
- Juliana Barby Simão [J.C. de Pina/IME-USP].
Título do projeto: Algoritmos, experimentação e teoria em
otimização combinatória.
Bolsa da FAPESP.
Início: janeiro/2004. Término: dezembro/2004.
- Lucas dos Santos Ribeiro [C.P. de Mello/IC-UNICAMP].
Título do projeto: Busca em largura lexicográfica e aplicações.
Bolsa do CNPq.
Início: agosto/2003. Término: julho/2004.
- Marcelo Hashimoto [J.C. de Pina/IME-USP].
Título do projeto: Algoritmos, experimentação e teoria
em otimização combinatória.
Bolsa da FAPESP.
Início: janeiro/2004. Término: dezembro/2004.
- Marcel Kenji de Carli Silva [C.G. Fernandes/IME-USP].
Título do projeto: Computação quântica.
Bolsa da FAPESP.
Início: agosto/2003. Término: dezembro/2004.
- Marcelo Perez [J.C. Setubal/IC-Unicamp].
Titulo: Genomica comparativa de Leifsonia xyli.
Bolsa da FAPESP.
Início: junho/2003. Término: maio/2004.
- Patricia Farah Carrião [J.C. Setubal/IC-Unicamp].
Título: Análise computacional do genoma de Leifsonia xyli.
Bolsa da FAPESP.
Início: junho/2003. Término: maio/2004
- Pietro Kreitlon Carolino [F.K. Miyazawa/IC-UNICAMP].
Título do projeto: Algoritmos de aproximação e classes de
complexidade.
Bolsa da FAPESP.
Início: agosto/2003. Término: julho/2004.
Iniciações científicas em andamento
- Alessandra Bárbara de Almeida [C.S. Martins/EPP-UPE].
Título do projeto: Estudos de redes elétricas por meio da teoria dos grafos.
Início: agosto/2003.
- Aloisio José de Almeida [J.C. Setubal/IC-UNICAMP].
Título do projeto: Bioinformática.
Bolsa da FUNDECITRUS.
Início: março/2004.
- Anderson Frahia Machado [N.F. Almeida/DCT-UFMS].
Título do Projeto: Visualização gráfica de comparação de genomas.
Bolsa do CNPq.
Início: agosto/2003.
- André Luiz Moura de Castro [N.F. Almeida/DCT-UFMS].
Título do Projeto: Programação dinâmica na comparação de genomas.
Bolsa do CNPq.
Início: agosto/2003.
- Arthur da Cruz Barbosa [M.R. Cerioli/IM-COPPE-UFRJ].
Título do projeto: Geração de permutações caóticas em tempo constante.
Bolsa CNPq-PIBIC.
Início: agosto/2004.
- Brenna Fraga de Lima [C.S. Martins/EPP-UPE].
Título do projeto: Aplicações de teoria dos grafos à
engenharia elétrica.
Início: agosto/2003.
- Cintia Ferreira dos Passos [N.F. Almeida/DCT-UFMS].
Título do Projeto: Filogenia e alinhamento múltiplo de genomas.
Bolsa do CNPq.
Início: abril/2003.
- Cristiane Maria Sato [Y. Kohayakawa/IME-USP].
Título do Projeto: Matemática Discreta como um Fundamento para a
Ciência Computação.
Bolsa do CNPq.
Início: março/2004.
- Daniel Bueno Donadon [F.K. Miyazawa/IC-UNICAMP].
Título do projeto: Problema da árvore de Steiner com cabeamento.
Bolsa do CNPq.
Início: agosto/2004.
- Daniel Machado de Faria [J.C. Setubal/IC-UNICAMP].
Título do projeto: Bioinformática.
Bolsa da FUNDECITRUS.
Início: março/2004.
- Edson Mikio Nishida [F.K. Miyazawa/IC-UNICAMP].
Título do projeto: Problemas da Mochila e de Empacotamento
com Prateleiras.
Bolsa do CNPq.
Início: agosto/2004.
- Ivan Castro [N.F. Almeida/DCT-UFMS].
Título do projeto: Programação Dinâmica na Comparação de
Genomas.
Bolsa do CNPq, de agosto/2003 até julho/2004.
Início: agosto/2003.
- Lucas Furukawa Gadani [Y. Kohayakawa/IME-USP].
Título do Projeto: Algoritmos Combinatórios, Otimização, e
Teoria dos Grafos.
Bolsa da FAPESP.
Início: agosto/2004.
- Nilton Sergio Volpato Filho [A.V. Moura/IC-UNICAMP e
F.K. Miyazawa/IC-UNICAMP].
Título do projeto: Busca Tabu aplicada a problemas de projeto de
redes telefônicas.
Bolsa do CPQd/UNICAMP.
Início: agosto/2002.
- Noriaki Akiba [N.F. Almeida/DCT-UFMS].
Título do Projeto: Visualização de montagem de fragmentos de
genomas circulares.
Bolsa do CNPq.
Início: fevereiro/2004.
- Rafael Dantas de Castro [R. Dahab/IC-UNICAMP].
Título do projeto: Assinaturas de chaves blindadas
Bolsa do CNPq.
Início: agosto/2003.
- Renato Capello [C.P. de Mello/IC-UNICAMP].
Título do projeto: Cliques maximais em cografos.
Bolsa da FAPESP.
Início: fevereiro/2004.
- Rodrigo Grassi Martins [N.F. Almeida/DCT-UFMS]
Título do Projeto: Filogenia e alinhamento múltiplo de genomas.
Bolsa do CNPq, de abril/2003 até março/2004.
Início: abril/2003.
- Rodrigo Mesquita de Abreu [M.R. Cerioli/IM-COPPE-UFRJ].
Título do projeto: Algoritmos para geração de objetos combinatórios
básicos.
Bolsa CNPq-PIBIC.
Início: agosto/2004.
Last modified: Thu Jan 27 14:47:43 BRST 2005