Relatório Carga Fapesp / 2013Emissão: 11/11/2013 21:06:46
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.136,99
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: ESTUDO E COMPARACAO DE ALGORITMOS PARA PROBLEMAS DE FLUXO EM REDES
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: ESTUDO E COMPARACAO DE ALGORITMOS PARA PROBLEMAS DE FLUXO EM REDES
Instituições
Nome:
Fundação de Amparo à Pesquisa do Estado de São Paulo
Tipo do Financiamento: Bolsa Iniciação Científica IC
Nº Processo na Financiadora: 2013/12551-1
Data Início Financiamento: 09/2013
Data Fim Financiamento: 08/2014
Valor do Financiamento: R$ 8.082,83
Complemento do Tipo Financiamento: BOLSA NO PAIS-IC
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
Allan Sapucaia Barboza( Participante )
ORLANDO LEE( Responsável )

Projeto Alterado
Suplemento: Auxilio prof visitante
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 08/2013
Ano Fim Projeto: 2013
Tipo Envolvimento Contrato: Individual
Descrição Projeto: Auxilio prof visitante
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: Auxilio prof visitante
Nº Processo na Financiadora: 2013/02434-8
Data Início Financiamento: 08/2013
Data Fim Financiamento: 09/2013
Valor do Financiamento: R$ 20.665,56
Complemento do Tipo Financiamento: AUXILIO-VISITANTE-EXTERIOR
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
FLAVIO KEIDI MIYAZAWA( 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.132,78
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