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
- 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.
- 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).
- 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.
- 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)
- 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.
- 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.
- 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.
- 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)
- Alberto Alexandre Assis Miranda [Orientador: C.L. Lucchesi].
Título do projeto: Orientações Pfaffianas de Grafos.
Bolsa da FAPESP.
- André da Silva Rosemberg [Orientador: R. Dahab].
Título do projeto: Aplicações de Criptografia de Curvas
Elípticas. Início: 2007.
- 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.
- Augusto J. Devegili [Orientador: R. Dahab].
Título do projeto: Métodos Formais em Protocolos
Criptográficos. Início: 2003.
- Cândida Nunes da Silva [Orientador:
C.L. Lucchesi/IC-UNICAMP].Título do projeto: Fluxos Inteiros em Grafos.
- Edna Hoshino [Orientador: C.C. de Souza
/IC-UNICAMP].Título do projeto: Geração
de colunas para alguns problemas combinatórios em
grafos.
- Evandro C. Bracht [Orientador: F.K. Miyazawa/IC-UNICAMP].
Título do projeto: Problemas de
Classificação e Particionamento. Bolsa da
FAPESP.
- Karla Roberta Pereira do Nascimento [Orientadora:
Y. Wakabayashi/IME-USP]. Título do projeto: Tópicos em grafos
(a ser definido). Bolsista da CAPES.
- Leonardo Barbosa e Oliveira [Orientador: R. Dahab].
Título do projeto: Segurança em redes de sensores sem fio.
Início: 2005.
- 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.
- Pavlos Bahia Konstadinidis [Orientador:
Y. Kohayakawa/IME-USP]. Título do projeto:
Tópicos em grafos aleatórios. Bolsista do
CNPq.
- Rudini Menezes Sampaio [Orientador:
Y. Kohayakawa/IME-USP]. Título do projeto:
Tópicos em combinatória extremal.
- 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)
- André Gustavo Gontijo Penha [Orientador: Ricardo Dahab].
Título da dissertação: Aspectos de Segurança em Jogos
Online. 2007.
- 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]
- 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]
- 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.
- 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]
- 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]
- Patrícia Takaki Neves [Orientador: O. Lee].
Título do projeto: Variações do Algoritmo de Dijkstra, março de 2007.
- Paulo Silveira [Orientador: J.C. de Pina/IME-USP]
Título da dissertação: Matemática e
Algoritmos das Dobras, maio 2007.
- Renato Lucindo [Orientadora:
Y. Wakabayashi/IME-USP]. Título da
dissertação: Partição de Grafos em
Subgrafos Conexos, março 2007.
- 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)
- Anderson Freitas da Silva [Orientador: C.E. Ferreira/IME-USP].
Título do projeto: a ser definido.
- Alex André da Costa Soares [Orientadora:
C.G. Fernandes/IME-USP]. Título do projeto:
Árvores geradoras com muitas folhas.
- 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.
- Ander Conselvan de Oliveira [Orientador:
C.E. Ferreira/IME-USP]. Título do projeto: ainda
não definido. Bolsista da CAPES.
- 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.
- Andrea Tieme Nakasato [Orientadora:
Y. Wakabayashi/IME-USP]. Título do projeto:
Ordenação por reversão. Bolsista CAPES (1
ano).
- 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.
- 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.
- Bruno de Azevedo [Orientador: F.K. Miyazawa/IC-UNICAMP].
Título do projeto: Problemas de empacotamento com
restrições de roteamento.
- 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.
- Claúdia Akemi Furushima [Orientador: C.C. de Souza/IC-UNICAMP].
Título do projeto: Otimização em poliedros quase-inteiros.
Bolsista FAPESP.
- Cláudia Regina Tinós Peviani [Orientador: Marco Aurélio
Stefanes]. Título do Projeto: Programação dinâmica usando algoritmos
paralelos.
- 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.
- 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.
- Fábio Pisaruk [Orientador: J.C. de Pina/IME-USP].
Título do projeto: k-caminhos mínimos.
- 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.
- Geoffrey Alberto Vitorio Martins
[Orientador: A.L.P. Guedes/UFPR].
Título do projeto: Computabilidade e Modelos de Computação.
- Hammurabi das Chagas Mendes [Orientadora:
C.G. Fernandes/IME-USP].. Título do projeto:
Estruturas de dados para algoritmos distribuídos. Bolsista
da CAPES.
- Juliana Barby Simão [Orientador: J.C. de
Pina/IME-USP]. Título do projeto:
Minimização de funções
submodulares. Bolsista da FAPESP.
- 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.
- Leonardo Bespalhuk Facci [Orientador: C.E. Ferreira
/IME-USP]. Título do projeto: Árvores geradoras
mínimas com grau limitado. Bolsista do CNPq.
- 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.
- Lucas Furukawa Gadani [Orientador:
Y. Kohayakawa/IME-USP]. Título do projeto: Problemas
extremais para grafos aleatórios.
- 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.
- Marcio Takashi Oshiro [Orientador: J.C. de Pina/IME-USP].
Título do projeto: k-árvores mínimas.
Bolsista da CAPES.
- Marcos Dias [Orientador: R. Dahab].
Título do projeto: Soluções de segurança para
sistemas de mensagem instantânea.
Início: 2007.
- Maurício Silva de Moura [Orientador: J.C. de
Pina/IME-USP]. Título do projeto: Método de
Robertson-Seymour para caminhos disjuntos.
- Paulo Vieira Milreu [Orientador: F.H. Viduani
Martinez/UFMS]. Título do projeto: Análise de Nutrientes em Redes
Metabólicas. Bolsista do CNPq.
- 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.
- Rafael Antonio Cosentino [Orientador: J.C. de Pina/IME-USP].
Título do projeto: Origami computacional: dobrar e cortar.
- 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.
- Rafael dos Santos Cubas [Orientador: A.L.P. Guedes/UFPR].
Título do projeto: Coloração de grafos.
- Roberto Aragy Xavier junior [Orientador: M.A.Stefanes/UFMS].
Título do projeto: Problema do fluxo máximo em paralelo.
- Rodrigo Mitsuo Kishi [Orientador: S.S. Adi/UFMS]. Título do
projeto: O problema do alinhamento spliced múltiplo.
- 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.
- Silvio Boss [Orientador: J. Donadelli Jr./UFPR].
Título do projeto: a ser definido.
- 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.
- Wanderley Guimarães da Silva [Orientadora:
Y. Wakabayashi/IME-USP]. Título do projeto: Conjuntos
dominantes em grafos. Bolsista CNPq.
- Wandner Meirelles [Orientador: S.S. Adi/UFMS]. Título do
projeto: Identificação de genes não codificantes.
- 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