Relatório Carga Fapesp / 2013

Emissão: 10/12/2013 21:06:54

DTC - DEPARTAMENTO DE TEORIA DA 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: 04/2014 Valor do Financiamento: R$ 196.190,04 Complemento do Tipo Financiamento: BOLSA NO EXTERIOR - ESTAGIO DE PESQUISA Ó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: MODELO ALGEBRICO DE REARRANJO DE GENOMAS Tipo Projeto: Pesquisa Básica Situação Projeto: Em Andamento Data Início Projeto: 08/2013 Ano Fim Projeto: 2014 Tipo Envolvimento Contrato: Individual Descrição Projeto: MODELO ALGEBRICO DE REARRANJO DE GENOMAS 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/07868-6 Data Início Financiamento: 08/2013 Data Fim Financiamento: 08/2014 Valor do Financiamento: R$ 66.032,53 Complemento do Tipo Financiamento: BOLSA NO EXTERIOR - ESTAGIO DE PESQUISA Órgãos (IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00] Equipes Projeto João Paulo Pereira Zanetti( Participante ) JOAO MEIDANIS( Responsável )

Voltar