Orientações

PROJETO: Fundamentos da Ciência da Computação: Algoritmos Combinatórios e Estruturas Discretas - Projeto Temático ProNEx - FAPESP/CNPq Proc. No. 2003/09925-5

Período: Julho de 2006 a Junho de 2007

Pós-doutorados (em andamento)

Maya Stein, Dr. rer. nat., Universität Hamburg
Título do projeto: Finite and Infinite Problems in Graph and Hypergraph Theory
Posdoc FAPESP desde outubro de 2005.
Supervisor: Y. Kohayakawa [IME-USP]
Christiane Neme Campos, Dra., UNICAMP
Título do projeto: Aspectos Teóricos, Estruturais e de Otimização de Alguns Problemas em Grafos
Posdoc FAPESP desde abril de 2007.
Supervisor: Y. Wakabayashi [IME-USP]
Gordana Manic, Dra., USP
Título do projeto: Modelagem Matemática e Aplicações de Problemas de Otimização Relativos à Busca de Subgrafos com Estruturas Comuns
Posdoc FAPESP desde setembro de 2006 (proc. 2006/01817-7).
Supervisor: C.C. de Souza [IC-UNICAMP]

Doutorados (em andamento)

Ademakson Araújo
Orientador: Manoel Lemos [DM-UFPE]
Título do projeto: Matróides com circunferência seis
Bolsa do Estado da Bahia
Alberto Alexandre Assis Miranda
Orientador: C.L. Lucchesi [IC-UNICAMP]
Título do projeto: Grafos Pfaffianos e problemas relacionados
Bolsa da Fapesp
André Fujita
Orientador: C.E. Ferreira [IME-USP]
Título do projeto: Redes de interação gênica
Bolsa da CAPES
André Vignatti
Orientador: F.K. Miyazawa [IC-UNICAMP]
Título do projeto: Compartilhamento de Custos e Projeto de Redes
Bolsa do CNPq
Augusto Jun Devegili
Orientador: R. Dahab [IC-UNICAMP]
Título do projeto: Implementação eficiente de emparelhamentos bilineares
Bolsas: CNPq e CAPES
Cândida Nunes da Silva
Orientador: C.L. Lucchesi [IC-UNICAMP]
Título do projeto: Grafos fluxo-críticos
Bolsa da Capes Institucional (de 03/2002 a 02/2003) e
Sanduíche (de 09/2003 a 08/2004), e da Fapesp (de 03/03 a 08/03 e de 09/2004 a 02/2006)
Edna Hoshino
Orientador: C.C. de Souza [IC-UNICAMP]
Título do projeto: Geração de colunas para alguns problemas combinatórios em grafos
Profa. da UFMS. Sem bolsa (com salário)
Evandro C. Bracht
Orientador: F.K. Miyazawa [IC-UNICAMP]
Título do projeto: Problemas de classificação e particionamento
Bolsa da FAPESP
Francisco Elói Soares de Araujo
Orientador: J.A. Soares [IME-USP]
Título do projeto: Alinhamento de Várias Seqüências
Karla Roberta Pereira do Nascimento
Orientador: Y. Wakabayashi [IME-USP]
Título do projeto: Tópicos em grafos
Bolsa da CAPES
Leonardo Barbosa e Oliveira
Orientador: R. Dahab [IC-UNICAMP]
Título do projeto: Criptografia baseada em emparelhamentos para redes de sensores
Bolsas: Fapesp (1/7/2005 a 03/2007), CAPES-Sanduíche (04/2007 até o presente)
Luis A. A. Meira
Orientador: F.K. Miyazawa [IC-UNICAMP]
Título do projeto: Problemas de Localização de Facilidades
Bolsa do CNPq
Mário Leston Rey
Orientador: Y. Wakabayashi [IME-USP]
Título do projeto: indefinido (iniciando o programa)
Mirelle Moutinho
Orientador: Manoel Lemos [DM-UFPE]
Título do projeto: Matróides com poucas bases não-comuns
Pavlos Bahia Konstadinidis
Orientador: Y. Kohayakawa [IME-USP]
Título do projeto: Tópicos em combinatória
Bolsa do CNPq
Rafael Pereira Luna
Orientadora: C.G. Fernandes [IME-USP]
Título do projeto: Algoritmos de aproximação
Bolsa do CNPq
Rosemberg A. da Silva
Orientador: R. Dahab [IC-UNICAMP]
Título do projeto: indefinido (iniciando o programa).
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
Bolsa da CAPES

Mestrados (em andamento)

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
Bolsa da CAPES
Ander Conselvan de Oliveira
Orientador: C.E. Ferreira [IME-USP]
Título do projeto: ainda não definido
Bolsa da CAPES
André Gustavo Gontijo Penha
Orientador: R. Dahab [IC-UNICAMP]
Título do projeto: Security issues in distributed games
Andrea Tieme Nakasato
Orientador: Y. Wakabayashi [IME-USP]
Título do projeto: Ordenação por reversão: algoritmos e aplicação à biologia computacional
Bolsa da CAPES (2005)
Breno Piva
Orientador: Cid C. de Souza [IC-UNICAMP]
Título do projeto: a ser decidido
Bolsa do CNPq
Bruno de Azevedo
Orientador: F.K. Miyazawa [IC-UNICAMP]
Título do projeto: Problemas de Empacotamento com Restrições de Roteamento
Claudia Regina Tinós Peviani
Orientador: M.A. Stefanes [DCT-UFMS]
Título do projeto: Algoritmos Realísticos para Programação Dinâmica
Cristiane Maria Sato
Orientador: Y. Kohayakawa [IME-USP]
Título do projeto: Avanços na área de regularidade de grafos e hipergrafos
Bolsa da FAPESP
Daniel Yugo Nakazato
Orientador: A.P. do Lago [IME-USP]
Título do projeto: Vetores de sufixos: Métodos de construção e busca de padrões
Domingos Soares Neto
Orientador: J.A. Soares [IME-USP]
Título do projeto: Filtros para busca e extração de padrões em cadeias biológicas
Bolsa do CNPq (2005)
Eduardo Morais de Moraes
Orientador: R. Dahab [IC-UNICAMP]
Título do projeto: Implementação de cifrassinatura baseada em identidade usando o emparelhamento de Tate em corpos binários
Bolsa da FAPESP
Fábio Andreatta Santos
Orientador: M.H. Carvalho [DCT-UFMS]
Título do projeto: O Problema da Orientação Pfaffian de Grafos
Bolsa da CAPES
Fabio Rogério Piva
Orientador: R. Dahab [IC-UNICAMP]
Título do projeto: Verificação formal de protocolos de trocas justas utilizando o método de espaços de fitas
Bolsa do CNPq
Geoffrey Alberto Vitorio Martins
Orientador: A.L.P. Guedes [DInf-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
Bolsa da CAPES até fevereiro de 2007
Juliana Barby Simão
Orientador: J.C. de Pina [IME-USP]
Título do projeto: Submodularidade em otimização combinatória
Bolsa da FAPESP até fevereiro de 2007
Juliano Duarte
Orientador: R. Carmo [DInf-UFPR]
Karina Mochetti de Magalhães
Orientador: R. Dahab [IC-UNICAMP]
Título do projeto: Uma alternativa pública para o método de Marcas d'Água Raster em Mapas Vetoriais
Bolsa da FAPESP
Karla Arruda
Orientador: Manoel Lemos [DM-UFPE]
Título do projeto: Conjecturas de Kano para bases de matróides com peso
Bolsa do CNPq
Leandro de Jesus
Orientador: Marcelo Henriques Carvalho [DCT-UFMS]
Título do projeto: Funções conservativas em grafos e aplicações
Bolsa da CAPES
Lennon de Almeida Machado
Orientador: A.P. do Lago [IME-USP]
Título do projeto: Recuperação de informação
Leonardo Bespalhuk Facci
Orientador: C.E. Ferreira [IME-USP]
Título do projeto: Árvores geradoras mínimas com grau limitado
Bolsa do CNPq
Lucas Furukawa Gadani
Orientador: Y. Kohayakawa [IME-USP]
Título do projeto: Problemas extremais para grafos aleatórios
Bolsa da FAPESP
Manoel Fernando Alonso Gadi
Orientador: A.P. do Lago [IME-USP]
Título do projeto: Estudo de algoritmos de detecção de fraude
Marcelo Couto
Orientador: C.C. de Souza [IC-UNICAMP] (joint with Prof. 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: Aproximação incremental
Bolsa da CAPES
Patrícia Takaki Neves
Orientador: O. Lee [IC-UNICAMP]
Título do projeto: Variações e aplicações do algoritmo de Dijkstra
Paulo Vieira Milreu
Orientador: F.H.V. Martinez [DCT-UFMS]
Título do Projeto: Análise de Nutrientes Utilizando Redes Metabólicas
Bolsa da CAPES
Rafael Antonio Cosentino
Orientador: J.C. de Pina [IME-USP]
Título do projeto: Origami computacional
Rafael Dantas de Castro
Orientador: R. Dahab [IC-UNICAMP]
Título do projeto: Protocolos criptográficos para computação distribuída multilateral segura
Bolsa da FAPESP
Rafael dos Santos Cubas
Orientador: A. L. P. Guedes [DInf-UFPR]
Título do projeto: Otimização em grafos
Roberto Aragy Xavier Junior
Orientador: M.A. Stefanes [DCT-UFMS]
Título do projeto: Problema do Fluxo Máximo em Paralelo
Thomas Soler Jacq
Orientador: Y. Kohayakawa [IME-USP]
Título do projeto: Aspectos topógicos da teoria dos grafos infinitos
Wandner Meirelles
Orientador: S.S. Adi [DCT-UFMS]
Título do Projeto: Predição de Genes Transferidos Horizontalmente
Wellington Mariusso
Orientador: F.K. Miyazawa [IC-UNICAMP]
Título do Projeto: Problemas de Empacotamento Tridimensional

Iniciações Científicas (em andamento)

Christian Tjandraatmadja
Orientador: C.E. Ferreira [IME-USP]
Título do projeto: Subseqüência Comum mais Longa sem Repetições e Variantes
Claudia Akemi Furushima
Orientador: C.C. de Souza [IC-UNICAMP]
Título do projeto: Estudo de uma heurística para a extração de submatrizes de Rede Puras em Programação Linear Inteira
Bolsa PIBIC-CNPq
Erick Nogueira do Nascimento
Orientador: O. Lee [IC-UNICAMP]
Título do projeto: Fluxo em Redes e Otimização Combinatória
Bolsa da FAPESP (início em junho de 2006)
Felipe Gomes Daguano
Orientador: R. Dahab [IC-UNICAMP]
Título do Projeto: Criptografia Eficiente para Redes de Sensores Sem Fio.
Bolsa do PIBIC/CNPq
Felipe Sodré Silva
Orientador: O. Lee [IC-UNICAMP]
Título do projeto: Fluxo em Redes e Otimização Combinatória
Bolsa da FAPESP (início em junho de 2006, cancelada após 6 meses pois arranjou um emprego)
Francieli Triches
Orientador: A.L.P. Guedes [DInf-UFPR]
Título do projeto: Aplicação de Teoria dos Grafos e Geometria Computacional em Computação de Imagens
Bolsa da UFPR/TN
Guilherme Kunigami
Orientador: O. Lee [IC-UNICAMP]
Título do projeto: Problemas de Otimização Combinatória
Bolsa do PIBIC-CNPq
Gustavo Akio Tominaga Sacomoto
Orientador: A.P. do Lago [IME-USP] (até julho de 2007, com bolsa do CNPq)
e Y. Kohayakawa [IME-USP] (a partir de agosto de 2007)
Título do projeto (a partir de agosto de 2007): Combinatória analítica e probabilística
Igor Carboni Oliveira
Orientador: Orlando Lee [IC-UNICAMP]
Título do projeto: Problemas de Emparelhamentos em Grafos.
Bolsa da FAPESP (início em junho de 2006)
João Marcos da Cunha Silva
Orientador: Cid C. de Souza [IC-UNICAMP]
Título do projeto: Heurísticas GRASP para identificação de matrizes de rede em sistemas lineares.
Bolsa da FAPESP
Leandro Miranda Zatesko
Orientador: J. Donadelli [DInf-UFPR]
Título do projeto: Cotas Inferiores para Problemas Computacionais
Bolsa do PET/CAPES
Lucas Mendes Marques Golçalves
Orientador: Y. Kohayakawa [IME-USP]
Título do projeto: Tópicos em teoria dos grafos
Luis Ragognette
Orientador: Y. Kohayakawa [IME-USP]
Título do projeto: Teoria dos números, corpos finitos, e aplicações
Bolsa do CNPq
Mário César San Felice
Orientador: Orlando Lee [IC-UNICAMP]
Título do projeto: Algoritmos de Aproximação para o Problema da Árvore de Steiner
Bolsa da FAPESP (início em junho de 2006)
Patrick Yuri Shinzato
Orientador: M.A. Stefanes [DCT-UFMS]
Título do Projeto: Linux em Console baseado em Arquitetura MIPS
Bolsa do CNPq
Raphael Ribas
Orientador: J. Donadelli [DInf-UFPR]
Título do projeto: Tópicos em Complexidade
Rodrigo Mitsuo Kishi
Orientador: F.H.V. Martinez [DCT-UFMS]
Título do projeto: Experimentos para o Problema da Árvore de Steiner dos Terminais Folhas
Bolsa do CNPq
Tássio Naia dos Santos
Orientador: José Augusto Soares [IME-USP]
Título do projeto: Variantes da Torre de Hanói

Pós-doutorados concluídos no período

Frédéric Chataigner, Dr., Université Paris 7
Título do projeto: Approximation Algorithms, Complexity and Non-Approximability of Problems on Graphs
PosDoc FAPESP de setembro de 2005 a setembro de 2006. Supervisor: Y. Wakabayashi [IME-USP]

Doutorados concluídos no período

Augusto Fernandes Vellozo, Dr., IME-USP, 2007
Orientador: Prof. A.P. do Lago [IME-USP]
Título da tese: Alinhamento de seqüências com inversões não sobrepostas
Atualmente fazendo posdoc na Université Claude Bernard - Lyon 1.
Eduardo Cândido Xavier, Dr., IC-UNICAMP, 2006
Orientador: Prof. F.K. Miyazawa
Título da tese: Algoritmos para Problemas de Empacotamento
Premiado com o Terceiro Lugar no Concurso de Teses e Dissertações da SBC, 2007.
Atualmente professor na EACH-USP.
Gerardo Valdisio Rodrigues Vianna, UFC, 2007
Co-Orientador: Carlos Eduardo Ferreira [IME-USP]
Título da tese: Técnicas para construção de árvores filogenéticas
Gordana Manic, Dra., IME-USP, 2006
Orientadora: Y. Wakabayashi
Título da tese: Empacotamento de subgrafos em grafos
Atualmente posdoc FAPESP no IC-UNICAMP.
Lauro Didier Lins, Dr., DM-UFPE, 2007
Orientador: S.L.S. Lins
Título da tese: Blink: A language to view, recognize, classofy and manipulate 3D-spaces

Mestrados concluídos no período

Alberto Alexandre Assis Miranda, Mestre, IC-UNICAMP, setembro/06
Orientador: C.L. Lucchesi [IC-UNICAMP]
Título da dissertação: Orientações Pfaffianas e o Furtivo Grafo de Heawood
Carlos Eduardo de Andrade, Mestre, IC-UNICAMP, setembro/06
Orientador: F.K. Miyazawa [IC-UNICAMP]
Título da dissertação: Um algoritmo exato para o Problema de Empacotamento Bidimensional em Faixas
Carlos Henrique Cardonha, Mestre, IME-USP, setembro/2006
Orientadora: C.G. Fernandes [IME-USP]
Título da dissertação: Sistemas interativos de prova clássicos e quânticos
Bolsa da FAPESP
Cláudio Aparecido Rocha, Metrado Profissional, UNICAMP, 2006
Orientador: R. Dahab [IC-UNICAMP]
Título da dissertação: Um estudo sobre os desafios de segurança na adoção da Arquitetura Orientada a Serviços
Delair Martinelli Junior, Mestre, UFMS, dezembro/2006
Orientador: M.H. Carvalho [DCT-UFMS]
Título da dissertação: O Método de Distribuição de Cargas
Bolsa FUNDECT. Atualmente na UEMS.
Domingos Dellamonica Junior, Mestre, IME-USP, março/2007
Orientador: Y. Kohayakawa [IME-USP]
Título da dissertação: Extração de aleatoriedade a partir de fontes defeituosas
Bolsa da FAPESP
Edson Tessarini Pedroso, Mestrado Profissional, UNICAMP, 2006.
Orientador: R. Dahab [IC-UNICAMP]
Título da dissertação: Segurança em grades computacionais
Fabricio Siqueira Benevides, Mestre, IME-USP, março/2007
Orientador: Y. Kohayakawa [IME-USP]
Título da dissertação: Teoria de Ramsey para circuitos e caminhos
Bolsa da FAPESP
Jairo Ricardo Moraes, Mestrado Profissional, UNICAMP, 2006
Orientador: R. Dahab [IC-UNICAMP]
Título da dissertação: Análise de vulnerabilidades em redes sem fio 802.11.
Marcel Kenji de Carli Silva, Mestre, IME-USP, abril/2007
Orientadora: Y. Wakabayashi [IME-USP]
Título da dissertação: Relações min-max em otimização combinatória
Bolsa da FAPESP
Marcelo Hashimoto, Mestre, IME-USP, fevereiro/2007
Orientador: J.C. de Pina [IME-USP]
Título da dissertação: Bases de Hilbert
Bolsa do CNPq
Paulo Henrique Nóbrega Tavares, Mestrado Profissional, UNICAMP, 2006
Orientador: R. Dahab [IC-UNICAMP]
Título da dissertação: Estudo e implementação de algoritmos de resumo (hash) criptográfico na plataforma Intel XScale. (hash) criptográfico na plataforma Intel XScale
Paulo Silveira, Mestre, IME-USP, maio/2007
Orientador: J.C. de Pina [IME-USP]
Título da dissertação: Matemática e Algoritmos das Dobras
Rafael Francisco dos Santos, Mestre, IC-UNICAMP, dezembro/06
Orientador: C.C. de Souza [IC-UNICAMP]
Título da dissertação: Uso de cortes canônicos no método de ramificação local para problemas inteiros 0-1 mistos
Bolsa da FAPESP
Regina de Cássia Nandi, Mestre, UFPR, setembro/06
Orientador: A.L.P. Guedes [DInf-UFPR]
Título da dissertação: Isomorfismo de Grafos Aplicado à Comparação de Impressões Digitais
Renato Pinheiro Freme Lopes Lucindo, Mestre, IME-USP, março/2007
Orientadora: Y. Wakabayashi [IME-USP]
Título da dissertação: Partição de Grafos em Subgrafos Conexos Balanceados
Rosemberg A. da Silva, Mestrado Profissional, UNICAMP, 2006
Orientador: R. Dahab [IC-UNICAMP]
Título da dissertação: Análise de seleção de parâmetros em criptografia baseada em curvas elípticas
Viviane Luciana de Oliveira, Mestrado Profissional, UNICAMP
Orientador: R. Dahab [IC-UNICAMP]
Título da dissertação: Uma análise comparativa das metodologias de gerenciamento de risco FIRM, NIST SP 800-30 e OCTAVE
Wylber Polonini
Orientador: R. Dahab [IC-UNICAMP]
Título da dissertação: Implementation issues on efficient digital certificate validation
Bolsa do CNPq
Zeno Stivanin, Mestre, UFPR, março/06
Orientador: A.L.P. Guedes [DInf-UFPR]
Título da dissertação: Traçado Automático de Hipergrafos Direcionados

Iniciações científicas concluídas no período

Daniel Bueno Donadon
Orientador: F.K. Miyazawa [IC-UNICAMP]
Título do projeto: Problema de Localizacao de Recursos
Bolsa da FAPESP.
Deise Harumi Aoki
Orientador: J.C. de Pina
Título do projeto: Origami Computacional: construção de bases
Fábio Rogério Piva
Orientador: R. Dahab [IC-UNICAMP]
Título do Projeto: Verificação Métodos formais de protocolos criptográficos para trocas justas
Bolsa do PIBIC/CNPq.
Gabriel Pedro de Castro
Orientador: F.K. Miyazawa [IC-UNICAMP]
Título do projeto: Problema das K-Medianas
Bolsa da FAPESP.
Peterson Katagiri Zilli
Orientador: Cid C. de Souza [IC-UNICAMP]
Título do projeto: Um estudo sobre a aplicação de heurísticas Tabu a um problema real de roteamento de veículos
Bolsa da FAPESP.
Rafael Forte Araújo Cavalcanti
Orientador: Cid C. de Souza [IC-UNICAMP]
Título do projeto: Algoritmos de Programação Inteira para identificação de matrizes de rede em sistemas lineares
Bolsa da FAPESP.