Relatório Carga Fapesp / 2013

Emissão: 10/06/2014 21:05:58

DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO

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$ 81.482,79 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 Alterado

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 Linha Pesquisa: Algoritmos e Otimização 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: 05/2014 Valor do Financiamento: R$ 9.192,32 Complemento do Tipo Financiamento: BOLSA NO PAIS-MS-II Ó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 )

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 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/19989-2 Data Início Financiamento: 12/2013 Data Fim Financiamento: 12/2014 Valor do Financiamento: R$ 143.728,03 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$ 182.695,18 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: COMPARTILHAMENTO DINAMICO DE VEICULOS: FRAMEWORK E ALGORITMOS PARA O PROBLEMA DE OTIMIZACAO Tipo Projeto: Pesquisa Básica Situação Projeto: Em Andamento Data Início Projeto: 07/2013 Ano Fim Projeto: 2014 Tipo Envolvimento Contrato: Individual Descrição Projeto: COMPARTILHAMENTO DINAMICO DE VEICULOS: FRAMEWORK E ALGORITMOS PARA O PROBLEMA DE OTIMIZACAO Linha Pesquisa: Algoritmos e Otimização 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/06746-4 Data Início Financiamento: 07/2013 Data Fim Financiamento: 12/2013 Valor do Financiamento: R$ 10.888,52 Complemento do Tipo Financiamento: BOLSA NO PAIS-MS-II Órgãos (IC) DTC - DEPARTAMENTO DE TEORIA DA COMPUTACAO [34.12.00.00.00.00.00] Equipes Projeto Douglas Oliveira Santos( Participante ) EDUARDO CANDIDO XAVIER( 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$ 68.495,37 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