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

Projeto Incluído
Nome Projeto: COMPARACAO DE CADEIAS RESTRITA POR EXPRESSOES REGULARES E GRAMATICAS LIVRES DE CONTEXTO
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 12/2013
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: COMPARACAO DE CADEIAS RESTRITA POR EXPRESSOES REGULARES E GRAMATICAS LIVRES DE CONTEXTO
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/19989-2
Data Início Financiamento: 12/2013
Data Fim Financiamento: 12/2014
Valor do Financiamento: R$ 148.862,00
Complemento do Tipo Financiamento: BOLSA NO EXTERIOR-PD
Órgãos
(IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00]
Equipes Projeto
GUILHERME PIMENTEL TELLES( Responsável )

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: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: Bolsa Pos doutorado no exterior METODOS FORMAIS ALGEBRICOS PARA VERIFICACAO DE PROGRAMAS
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 exterior PD
Nº Processo na Financiadora: 2013/04734-9
Data Início Financiamento: 04/2013
Data Fim Financiamento: 04/2014
Valor do Financiamento: R$ 201.952,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:
Bioinformática e Biologia Computacional
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.994,16
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 )

Projeto Alterado
Nome Projeto: ALGORITMOS DE OTIMIZACAO PARA GEOVISUALIZACAO
Tipo Projeto: Pesquisa Básica
Situação Projeto: Em Andamento
Data Início Projeto: 01/2014
Ano Fim Projeto: 2014
Tipo Envolvimento Contrato: Individual
Descrição Projeto: ALGORITMOS DE OTIMIZACAO PARA GEOVISUALIZACAO
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 exterior PD
Nº Processo na Financiadora: 2013/23571-3
Data Início Financiamento: 01/2014
Data Fim Financiamento: 12/2014
Valor do Financiamento: R$ 82.681,76
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
Rafael Ghussn Cano( Participante )
CID CARVALHO DE SOUZA( Responsável )



Voltar