Relatório Carga Fapesp / 2013

Emissão: 10/09/2013 21:06:53

IC - INSTITUTO DE COMPUTACAO

Projeto Alterado

Nome Projeto: METODOS FORMAIS ALGEBRICOS PARA VERIFICACAO DE PROGRAMAS Tipo Projeto: Pesquisa Básica Situação Projeto: Em Andamento Data Início Projeto: 04/2013 Ano Fim Projeto: 2013 Tipo Envolvimento Contrato: Individual Descrição Projeto: Bolsa Pos doutorado no exterior METODOS FORMAIS ALGEBRICOS PARA VERIFICACAO DE PROGRAMAS 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 exterior PD Nº Processo na Financiadora: 2013/04734-9 Data Início Financiamento: 04/2013 Data Fim Financiamento: 10/2013 Valor do Financiamento: R$ 102.845,27 Complemento do Tipo Financiamento: BOLSA NO EXTERIOR - ESTAGIO DE PESQUISA Órgãos IC - INSTITUTO DE COMPUTACAO [34.00.00.00.00.00.00] Equipes Projeto Rachid Rebiha( Participante ) ARNALDO VIEIRA MOURA( Responsável )

Projeto Incluído

Nome Projeto: ESTUDO DE ASPECTOS DE SISTEMA OPERACIONAL PARA SUB-SISTEMAS DE MEMORIA USANDO PCM Tipo Projeto: Pesquisa Básica Situação Projeto: Em Andamento Data Início Projeto: 08/2013 Ano Fim Projeto: 2015 Tipo Envolvimento Contrato: Individual Descrição Projeto: ESTUDO DE ASPECTOS DE SISTEMA OPERACIONAL PARA SUB-SISTEMAS DE MEMORIA USANDO PCM 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: 2013/05257-0 Data Início Financiamento: 08/2013 Data Fim Financiamento: 07/2015 Valor do Financiamento: R$ 169.503,73 Complemento do Tipo Financiamento: BOLSA NO PAIS-PD Órgãos IC - INSTITUTO DE COMPUTACAO [34.00.00.00.00.00.00] Equipes Projeto LUIZ EDUARDO DA SILVA RAMOS( Responsável )

Projeto Incluído

Nome Projeto: ALGORITMOS PARA O PROBLEMA DE LOCALIZACAO E ROTEAMENTO COM RESTRICOES DE EMPACOTAMENTO Tipo Projeto: Pesquisa Básica Situação Projeto: Em Andamento Data Início Projeto: 09/2013 Ano Fim Projeto: 2014 Tipo Envolvimento Contrato: Individual Descrição Projeto: ALGORITMOS PARA O PROBLEMA DE LOCALIZACAO E ROTEAMENTO COM RESTRICOES DE EMPACOTAMENTO 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: 2013/08278-8 Data Início Financiamento: 09/2013 Data Fim Financiamento: 02/2014 Valor do Financiamento: R$ 48.082,52 Complemento do Tipo Financiamento: BOLSA NO PAIS-PD Órgãos IC - INSTITUTO DE COMPUTACAO [34.00.00.00.00.00.00] Equipes Projeto Thiago Alves de Queiroz( Responsável )

Voltar