Relatório Carga Fapesp / 2013

Emissão: 10/03/2014 21:05:39

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: 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.469,40 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: 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$ 149.429,92 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: 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.841,52 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.436,02 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 )

Projeto Incluído

Nome Projeto: COMPUTACAO QUANTICA: AUTOMATOS, JOGOS E COMPLEXIDADE Tipo Projeto: Pesquisa Básica Situação Projeto: Em Andamento Data Início Projeto: 01/2014 Ano Fim Projeto: 2015 Tipo Envolvimento Contrato: Individual Descrição Projeto: COMPUTACAO QUANTICA: AUTOMATOS, JOGOS E COMPLEXIDADE Instituições Nome: Fundação de Amparo à Pesquisa do Estado de São Paulo Tipo do Financiamento: Bolsa Mestrado MS Nº Processo na Financiadora: 2013/20661-1 Data Início Financiamento: 01/2014 Data Fim Financiamento: 02/2015 Valor do Financiamento: R$ 27.105,20 Complemento do Tipo Financiamento: BOLSA NO PAIS-MS-I Órgãos (IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00] Equipes Projeto FERNANDO GRANHA JERONIMO( Participante ) ARNALDO VIEIRA MOURA( Responsável )

Voltar