Relatório Carga Fapesp / 2011Emissão: 10/04/2013 21:03:57
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: Em Andamento
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:
Teoria da Computação e Algoritmos
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: 08/2013
Valor do Financiamento: R$ 154.419,09
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:
Teoria da Computação e Algoritmos
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$ 128.237,49
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 )

Projeto Alterado
Nome Projeto: ALGORITMOS PARA PROBLEMAS DE EMPACOTAMENTO COM RESTRICOES DE DESCARREGAMENTO
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 08/2011
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: ALGORITMOS PARA PROBLEMAS DE EMPACOTAMENTO COM RESTRICOES DE DESCARREGAMENTO
Linha Pesquisa:
Teoria da Computação e Algoritmos
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/08563-9
Data Início Financiamento: 08/2011
Data Fim Financiamento: 04/2014
Valor do Financiamento: R$ 110.765,54
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
Jefferson Luiz Moisés da Silveira( Participante )
EDUARDO CANDIDO XAVIER( Responsável )



Voltar