Relatório Carga Fapesp / 2011Emissão: 10/09/2014 21:02:05
DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO

Projeto Alterado
Nome Projeto: METODOS FORMAIS ALGEBRICOS PARA GERCAO DE INVARIANTES.
Tipo Projeto: Pesquisa Básica
Situação Projeto: Concluído
Data Início Projeto: 09/2011
Ano Fim Projeto: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto: METODOS FORMAIS ALGEBRICOS PARA GERCAO DE INVARIANTES.
Linha Pesquisa:
Algoritmos e Otimização
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Pos doutorado no país PD
Nº Processo na Financiadora: 2011/08947-1
Data Início Financiamento: 09/2011
Data Fim Financiamento: 09/2015
Valor do Financiamento: R$ 240.671,58
Complemento do Tipo Financiamento: BOLSA NO PAIS-PD
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Rachid Rebiha( Participante )
ARNALDO VIEIRA MOURA( Responsável )

Projeto Alterado
Nome Projeto: PROBLEMA DE ROTEAMENTO DE VEICULOS COM RESTRICOES PRATICAS
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 11/2011
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: PROBLEMA DE ROTEAMENTO DE VEICULOS COM RESTRICOES PRATICAS
Linha Pesquisa:
Algoritmos e Otimização
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Doutorado DR
Nº Processo na Financiadora: 2011/13382-3
Data Início Financiamento: 11/2011
Data Fim Financiamento: 10/2014
Valor do Financiamento: R$ 129.443,19
Complemento do Tipo Financiamento: BOLSA NO PAIS-DR-II
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Pedro Henrique Del Bianco Hokama( Participante )
FLAVIO KEIDI MIYAZAWA( Responsável )



Voltar